Automates à nombre fini d’états https://ertim.inalco.fr/ en