Ajout des contraintes