changement fichier coq généré, formule retenue dans Path