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.