plus d'argument optionel number dépendant du mode verbose dans l'appel de AddClause (cf CALL_CONSTR dans Clause.hh)