modif mineur de cnotraintes.txt