https://123dok.net/document/yd7lnedl-partie-automates-probabilistes.html