Update girrault.tex
Merge pull request #843 from Qrust/patch-62

Update girrault.tex