Les étapes et le flux logique de la vérification des hypothèses