Update contraintes.txt