Update girrault.tex