https://123dok.net/document/q2n0dkrr-analyse-formelle-algorithme-distribué-probabiliste-résolvant-problème-rendez.html