https://123dok.net/document/zx5ovnjv-automates-avanc-es-master-informatique-td-mots-infinis.html