ajout de la fonction addClause pour la numerotation des clauses