Monad de retour au sommet. Quand ?