Modification pour pouvoir lire des états terminaux ayant 2 digits (ex: T 10) dans Automate.cpp