Géométrie du modèle de l’exemple de vérification