added function ajout_contraintes, changed main