Utilisation de fonction récursive et gestion des automates non déterministes
correction de conflit