Ajout Présentation Prolog