Quelques ajouts au main.tex