Completes part 'Choix du langage Prolog'.
Completes part 'Maintenance semi-automatique'.