Géométrie du Modèle de l'Exemple de Vérification