---

-   ++   SATISFIABILITE

---

Aucune décomposition moins-1.