suppression de l'option INLINED_CLAUSE : elle est maintenant forcement définie; choix de l'implementation avec -DCLAUSE=...