https://123dok.net/document/zgw3glon-automates-avanc-master-informatique-td-eterminisation-minimisation-automates.html