Ajout d'une contrainte et modification