Les étapes de la rééducation : formalisation et vérification