blegat/LINMA1691 — pull request #9 by alexispierret (2013-12-12 16:14:04+00:00)
Title: 9.tex terminé !

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