Le protocole
Chaque modèle reçoit exactement le même prompt, au même moment, sur le même niveau,
avec les mêmes paramètres d'appel. Il répond par une fonction f(x). Le moteur
la trace et dit si elle touche. Rien d'autre ne les distingue.