Coq qui fonctionne. Que peut-il réparer d'autre ?