Cliquer le lien TDM01-automata-correction.zip pour télécharger le fichier.