https://123dok.net/document/z1d446m3-algorithmique-distribuée-exclusion-mutuelle.html