L'exemple traite des problèmes relatifs à l'édition d'un document "en langue naturelle", et plus particulièrement à la gestion des références multiples et croisées au sein d'un même texte. L'idée est de placer des étiquettes (labels) dans le texte, et de nommer ensuite symboliquement ces étiquettes pour se référer au numéro de page ou de ligne correspondant.
1. Présentation
2. L'exemple
3. Réalisation
4. Conclusion