Finalisation de la génération d'un automate minimal à partir des résiduels d'une expression rationnelle