Pragmatic model verification. (Vérification pragmatique de modèles)