Extraire une expression régulière à partir un automate donné.
Extraire une expression régulière à partir un automate donné.