Ici encore, l'invariant est identique à la condition d'entrée. En effet, le jeu de résolution de conflit doit se poursuivre tant que le conflit n'a pas disparu.
