Update formation.tex