https://123dok.net/document/q5m3wn1w-m-ethodes-formelles-approche-probabiliste.html