Réduire la taille du fichier

Le même document écrit deux fois, en clair puis rangé, avec ce que pèse chacun et ce que le rangement a fait gagner.

Un PDF, c'est surtout des listes de réglages : une pour le fichier, une par page, une par police, une par zone cliquable. Aucune n'est un bloc de données, donc aucune n'est compressée, et chacune est écrite en toutes lettres. Un fichier peut au contraire les rassembler dans des blocs compressés ensemble, et écrire sous forme de bloc, elle aussi, la table qui dit où se trouve chaque chose.

La page que vous lisez a été écrite ainsi, et elle rend compte d'un second document de vingt-quatre pages écrit des deux façons. Le gain grandit avec le nombre de pages, parce que chaque page coûte une poignée de ces listes. C'est éteint tant que vous ne le demandez pas, et le demander exige un fichier qui se déclare en PDF 1.5 ou plus récent : un document qui se déclare en deçà est refusé, plutôt qu'écrit en douce sous une forme qu'un vieux lecteur ne pourrait pas ouvrir du tout.

Ce que montre cet exemple

• Un seul réglage : tout ce qui n'est pas un bloc de données est rangé.
• Le sommaire du fichier devient lui aussi un bloc compressé.
• Le même document sort dans les deux cas : seule sa taille change.

Le code, en entier

Le même document est écrit deux fois, une fois dans chaque langage. Les deux fichiers sont montrés en entier, avec la coloration du code, et se copient d'un seul clic.

Le document lui-même

Le même document est écrit dans chacune de ces langues. Ouvrez celle que vous voulez regarder.

Ouvrir le document en anglais Ouvrir le document en français

Voir le code Rust Voir le code Python

Ce que pèse ce document

Ce document pèse 40 701 octets.

L'équipe a écrit cet exemple après avoir pesé les documents ci-dessus : il n'y a donc pas de chiffre plus ancien à mettre en face. Voir tous les documents mesurés.