Infos
-   ++   DISJONCTIF
-   ++   DISJONCTIFS