13Fermer15
SallyLe 13/03/2007 à 21:12
meowcate < normalement on dit police pour l'ensemble d'une famille (par exemple times) et fonte pour un jeu de caractères particulier dans cette famille (par exemple times gras italique, times demi-gras romain, etc.)
euh je me demande si on ne considère pas aussi qu'il y a une fonte différente par corps (taille), je ne sais plus mais je crois. donc une fonte serait par exemple times maigre italique corps 12. ceci dit ça n'a pas beaucoup de sens de différencier sur le corps pour des polices vectorielles (c'est le même dessin et le même fichier -- enfin sauf pour des polices de super qualité où on a des dessins différenciés), donc je ne suis pas sûr, peut-être que ça dépend.

en fait historiquement la police je crois que c'était le bon de commande de caractères (ou en tous cas le papelard qui liste les caractères dont on a besoin, c'est à rapprocher de police d'assurance si je me souviens bien), et la fonte c'était un jeu de caractères en plomb (résultat d'une fonte, au sens où on a fondu le plomb dans les moules)