test de la chaine sur processus
modification de atl toDot pour avoir les noms des places et voir en rouge les readarc
modif d'un oubli sur la transfo ATL