https://123dok.net/document/y96j05dw-a-q-x-a-q-a-automates-déterministes.html