Début de prise en charge de la résolution : constructeur de clauses modifié. Pas de bug introduit a priori