https://123dok.net/document/z3d280my-un-algorithme-equitable-d-exclusion-mutuelle-distribuee-avec-priorite.html