ajout des contraintes