#1Ajout de contraintes et amelioration des noms de variables