Analyse de la vérification