9.tex terminé !

Ajout des dernières preuves + retiré TODO des preuves que l'on a pas vu/fait
8.tex terminé !

ajout dernière preuve, TODO ok
Merge branch 'patch-7' of https://github.com/alexispierret/LINMA1691
merge
Deux démo pour 9.2.1 et 9.2.2, il faudra merger pour garder le meilleur résultat.