Ajout d'un operator dans la class Constraint et renomage des variables