Apparemment cette fonction est de trop : elle n'est pas dans automate.h...