Échec de la vérification dans STEEL