nom propre→ masculin→. [PAO] [langage]. L'une des toutes premières versions de TeX publiée (incompatible avec les suivantes).