nom propre→ masculin→. [PAO]. Implémentation de TeX sous Unix, réalisée par Thomas Esser (Casse signalée par Bruno Petazzoni).
