modif contraintes.txt