ajout des premières contraintes