modification de la grammaire pour le nom d'un DOCTYPE