Animation de l'algorithme d'exclusion mutuelle répartie [Lamport]
Retour au cours.