Ajout de la lib automaton.py fournie en python