Vérification des points restants avant la sortie dans l'ascenseur
Vérification des points restants pendant le déplacement de l'ascenseur
Calcul de la prochaine commande à partir de l'état
Séparation des waitings dans un BuildingState
Répartition et factorisation du code entre State,Building et Elevator
Revue des traces