Aide à la vérification des hypothèses