Test des modèles raisonneurs