gestion de l'alphabet terminal non spécifié