Lecture et écriture de l'automate + Tests