Ah, c'est de là que vient "Linotype" dans les noms de polices, et moi qui croyais que ça venait de Linux.