Le PDF est une mise en page figée, sans structure de titres sur laquelle une machine puisse s'appuyer. Le GIF est une palette de 256 couleurs au plus, une transparence tout ou rien, et de l'animation. ImageMagick se tient entre les deux, et cette page dit exactement ce qui arrive à un fichier PDF en route vers le GIF.
Ce qui s'exécute quand un fichier PDF devient un GIF
ImageMagick 6.9.12, sur une machine que nous louons et que nous surveillons. Votre fichier PDF est envoyé une fois, ImageMagick s'exécute une fois, le fichier GIF revient, et aucun des deux fichiers n'est conservé. PDF vers GIF fait partie des 3649 paires sur lesquelles ce moteur a été sondé avec un vrai fichier, et c'est pour cela que cette page existe quand celles que la sonde n'a pas su prouver n'existent pas.
Ce qui survit du fichier PDF dans le fichier GIF
Les dimensions en pixels de votre fichier PDF. Le GIF sort à la taille où le PDF est entré, parce que rien sur ce chemin ne redimensionne quoi que ce soit.
Ce que la conversion PDF vers GIF vous coûte
La mise à l'échelle. Le PDF décrit des formes, le GIF stocke une grille de pixels, et le moteur rastérise à 150 points par pouce au passage. Cette densité est un choix délibéré : aux 72 ppp qu'ImageMagick prend par défaut, une page PDF au format A4 ressort large de 595 pixels et se lit comme une conversion ratée. Agrandissez le GIF ensuite et il devient flou, parce qu'il ne reste plus rien à redessiner.
La profondeur de couleur. Le GIF ne porte que 256 couleurs au plus : un PDF photographique est donc quantifié et ses dégradés se strient.
La couche de texte du PDF. Un PDF porte en général du texte sélectionnable ; ce chemin traite la page comme une image et la peint, et ce qui en sort est une image de la page plutôt que ses mots.
Si un modèle doit lire le fichier GIF
Un fichier GIF, ce sont des pixels, et les pixels coûtent cher à lire pour un modèle. Avec ce GIF entre les mains, un assistant dépense son budget à regarder l'image plutôt qu'à la lire, et il paraphrasera ce qu'il croit avoir vu. Si votre PDF est surtout fait de mots, le geste utile est d'en extraire le texte, pas de changer le format d'image qui le porte.
PDF vers GIF, mesuré plutôt que promis
En passant PDF vers GIF sur le moteur réel avec un vrai fichier, ImageMagick a écrit 9 463 octets au format GIF en 0,1 secondes, machine par ailleurs au repos. C'est un fichier PDF un jour donné et non une moyenne, et c'est pourquoi le nombre est donné avec le fichier qui l'a produit.
Le verdict PDF vers GIF a été obtenu par une signature de format, c'est-à-dire que au moins quatre octets propres au format ont été trouvés au bon décalage. Le contrôle employé compte, parce qu'ils ne prouvent pas tous la même chose, et un code de statut 200 ne prouve strictement rien sur ce que le fichier GIF contient.
Le même fichier PDF, envoyé ailleurs
Les autres sorties que la sonde a mesurées à partir d'un fichier PDF, pour que le coût du choix du format GIF se lise face à quelque chose. Les tailles ne se comparent pas d'un moteur à l'autre, chaque famille ayant été sondée avec son propre fichier témoin PDF.
PDF vers DOCX : 23 905 octets en 0,9 secondes, vérifié par une signature de format.
PDF vers EPUB : 26 909 octets en 0,9 secondes, vérifié par une signature de format.
PDF vers JPG : 5 782 octets en 0,1 secondes, vérifié par une signature de format.
PDF vers PNG : 1 294 octets en 0,1 secondes, vérifié par une signature de format.
PDF vers WEBP : 906 octets en 0,1 secondes, vérifié par une signature de format.
PDF vers TXT : 219 octets en 0,8 secondes, vérifié par la relecture du texte.
Les autres routes vers GIF, et ce qu'elles ont mesuré
Parmi les routes publiées vers GIF, PDF est la dixième plus grosse sortie des 19 mesurées. Les fichiers témoins diffèrent : ce classement porte sur la sonde et non sur votre document.
JPG vers GIF : 3 487 octets en 0,1 secondes.
3GP vers GIF : 164 004 octets en 0,1 secondes.
AVI vers GIF : 173 720 octets en 0,2 secondes.
BMP vers GIF : 3 799 octets en 0,1 secondes.
FLV vers GIF : 173 530 octets en 0,1 secondes.
Ce que nous ne prétendrons pas sur PDF vers GIF
Un fichier PDF de plus de 25 Mo est refusé avant la fin de l'envoi plutôt qu'après, pour que vous n'attendiez pas un refus.
Une conversion PDF vers GIF qui dépasse 30 secondes est tuée, et le processus ImageMagick avec elle. Une exécution abandonnée resterait posée sur l'un des deux cœurs de la machine jusqu'à ce que quelqu'un le remarque.
Aucun texte n'est extrait du PDF nulle part sur ce chemin. Convertir une image en GIF ne la transforme jamais en mots, quoi que cette image porte.
ImageMagick n'était pas saturé à seize conversions simultanées : il a tenu 47,5 par seconde pendant que la latence passait de 0,22 s à 0,34 s, et la mémoire du service n'a pas bougé de 51 Mo. C'est la marge mesurée derrière PDF vers GIF, pas un chiffre de brochure.
Un fichier PDF à la fois, choisi dans le navigateur. Il n'y a rien d'autre à régler et rien d'autre à proposer.
PDF vers GIF : les questions que l'on pose
Qu'est-ce qui convertit vraiment mon fichier PDF en GIF ?
C'est ImageMagick qui s'en charge, en 6.9.12, sur une machine que nous louons et que nous surveillons. Ni astuce de navigateur, ni service d'un tiers : le fichier PDF est envoyé une fois, ImageMagick s'exécute une fois, le GIF revient, et aucun des deux fichiers n'est conservé ensuite.
Combien de temps prend une conversion PDF vers GIF ?
Sur le fichier utilisé par la sonde, ImageMagick a mis 0,1 seconde et écrit 9 463 octets de GIF. C'est une mesure réelle sur un fichier PDF réel, pas une moyenne et pas une promesse sur le vôtre : un PDF plus gros prend plus longtemps, et au-delà de 30 secondes l'exécution est arrêtée.
Qu'est-ce que je perds en passant du PDF au GIF ?
Celle qu'il faut connaître en premier : la mise à l'échelle. Le PDF décrit des formes, le GIF stocke une grille de pixels, et le moteur rastérise à 150 points par pouce au passage. Cette densité est un choix délibéré : aux 72 ppp qu'ImageMagick prend par défaut, une page PDF au format A4 ressort large de 595 pixels et se lit comme une conversion ratée. Agrandissez le GIF ensuite et il devient flou, parce qu'il ne reste plus rien à redessiner.
À quelle taille en pixels le GIF ressort-il ?
Celle que 150 points par pouce donnent à votre PDF, et cette densité est une décision plutôt qu'un réglage par défaut. Un PDF porte des formes et des dimensions de page, jamais des pixels : il faut donc fixer une échelle avant de dessiner le moindre pixel. S'il vous faut une autre taille, c'est au PDF qu'il faut revenir : des deux fichiers, c'est le seul qui connaisse encore les formes.
La conversion PDF vers GIF est-elle gratuite ?
Il y a une franchise gratuite chaque mois, et une conversion PDF vers GIF coûte un demi-crédit dessus. Quand la franchise est épuisée, l'outil le dit et s'arrête, plutôt que de vous remettre discrètement un GIF moins bon.