modification Symbol pour intégrer un nom en vue du changement des symboles d'une grammaire dans une fenêtre
on peut maintennant modifier l'interprétation des symboles d'une grammaire !