Ajout des fichiers de coverage pour le tp10 de Prolog