police

En détail

Un fichier de police, ce n'est pas le texte. C'est un jeu de dessins — un pour le A, un pour le a, un pour la virgule, un pour le signe euro — avec la largeur de chacun et la distance entre deux d'entre eux quand ils se suivent. Le document tient les mots ; la police dit à quoi ils ressemblent.

Fonte est l'autre mot pour la même chose, et ce site emploie les deux comme un seul. Une famille existe aussi en graisses et en pentes — le romain, le gras, l'italique — et chacune de celles-là est un fichier à part : c'est pourquoi un document composé dans trois d'entre elles en emporte trois.

Ce qu'il fait sur un vrai document

Un PDF emporte à l'intérieur de lui-même les polices dans lesquelles il est composé. C'est toute la raison pour laquelle un document s'ouvre à l'identique sur une machine qui n'a jamais entendu parler de sa police, et c'est la première chose qu'une imprimerie demande avant d'accepter un travail. Sans elles, le lecteur d'en face en met une autre à la place : les lignes changent de longueur et la mise en page bouge.

En emporter une entière serait du gaspillage : seules les lettres réellement dessinées font le voyage, et c'est ce qu'on appelle une police allégée. Les quatorze fontes que tout lecteur est obligé de dessiner lui-même sont l'exception : un document qui demande l'une d'elles n'emporte aucune police, et le paie en alphabets qu'il ne sait plus écrire.

D'où il vient, et pourquoi

Les caractères ont été du métal pendant quatre siècles, et une police était une fonte : un morceau de plomb par lettre, coulé à une seule taille, acheté au poids. Le mot est passé au logiciel sans rien perdre de son sens — un jeu de dessins complet, possédé et payé — et c'est pourquoi en mettre un dans un document remis à un client reste une question pour un juriste.

Voyez-le sur un document fini

Des polices rangées dans le fichier Une page qui ne transporte aucune police Les règles derrière ce mot, et les textes d'où elles sont tirées