réécriture de la fonction d'exécution

réécriture complete de la fonction d'execution pour y incorporer - sans
boucles infinies - les epsilon transitions