nom propre→ masculin→. [nom de code]. Surnom de l'homme de l'ombre, sans visage, qui porte un chapeau rouge, et qui sert de logo à la société Red Hat.
