Gp2mv3/Syntheses — pull request #84 by anpar (2014-05-06 20:43:10+00:00)
Title: Add + split properties

J'ai séparé les 3 formes ("Autres formules") en plusieurs propriétés (je trouve ça plus clair).
J'ai aussi rajouté une propriété et un théorème.