9.tex terminé !

Ajout des dernières preuves + retiré TODO des preuves que l'on a pas vu/fait