---

-   ++   DECIDABLE

---

Aucune décomposition moins-1.