Tux

nom propre
  1. Nom de la mascotte de Linux.La mascotte de Linux appelée Tux date de 1996 et a été créé par Larry Ewing à l'aide du logiciel libre GIMP. Tux (apocope de Tuxedo et Torvalds UniX ) n'est pas un pingouin mais un manchot pygmée.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.