Infos
-   ++   JOINTIFS
-   ++   DISJONCTIF
-   ++   INJONCTIFS
-   ++   JUSTIFIONS