Fin du TP10 prolog