Deux travailleurs indépendants vérifient simultanément qu'il y a plus de trois médecins de garde, et chacun prend un congé, violant l'invariant. Quel est ce problème et comment le résoudre ?