Bonjour,
Le but du code est de redéfinir findall.



aime(toto, titi).
aime(tutu, lala).

trouvetout(Var, Pred, L) :-
L = [],