Une police est une police de caractère dans une taille spécifique . Un glyphe est une forme vectorielle et, dans votre contexte, c'est [la forme vectorielle d'un] caractère spécifique d'une police de caractères sans taille particulière .
Un commentaire ci-dessous suggère que les polices numériques peuvent avoir plusieurs tailles.
Le mot «font» vient de la fonte française , du moyen français, acte de fondation, du latin vulgaire * fundita, féminin de funditus , participe passé du latin fundere à fonder ou à verser (au sens de moulage). Il se réfère spécifiquement à la fondation d'une police de caractères en plomb. Comme l'a souligné le commentateur, il s'agit nécessairement d'une taille particulière.
Dans la typographie numérique, la police fait référence au rendu d'une police à une taille de pixel particulière. Ce processus non trivial implique des indices, un mélange alpha et une capture de pixels selon des règles complexes et un grand nombre de métadonnées.
Autrefois, c'était un peu trop demander en temps réel et les polices de caractères étaient pré-rendues à différentes tailles dans des fichiers de polices. Maintenant que le rendu se fait en temps réel sur la carte vidéo, vous n'installez pas de polices, vous installez des polices de caractères, mais pour la "cohérence" Apple et Microsoft (et les gens de Linux, d'ailleurs) les appellent des polices dans la gestion de la typographie interfaces utilisateur, conduisant à une perception erronée répandue de la signification du mot police. La boîte de dialogue du sélecteur de polices sur une plate-forme donnée sélectionne en fait une police, car elle spécifie une taille particulière.
À tous ceux qui disent "la langue appartient au peuple", je dis que si une nation entière appelle un chien vache, elle ne donnera toujours pas de lait.