Ajout de la doc d'une IA, snippet d'intro au prolog enlevé