Corrected function ajout_contraintes, updated documentation