---

-   ++   AXIOMATISAT

---

-   ++   AXIOMATISAIT
-   ++   AXIOMATISANT

donc sur IN