ajout attribut pour automate.h