ajout variable dans contraintes