Une partie de l'algorithme du moniteur