https://123dok.net/document/q2npx8or-automates-td-automates-à-états-finis.html