ajout d'un commentaire pour la simplification des clauses ne contenant qu'une variable