code du prouveur terminé, mais des erreurs à l'exécution