fonction qui vérifie qu'un nom est reconnu ou non par un automate fonctions nécessaire au fonctionnement de cette fonction