Nom de notation unique  
 
Texte de la spécification

Une seule déclaration de notation peut déclarer un Name donné.

 
Explication

Déclarer deux notations ayant le même nom est interdit.