Ajout des DS de contraintes