Update girault_scheme.tex