Convertir un PDF en images PNG sous MacOS

Récemment, j'ai voulu envoyer un pdf constitué d'images scannées d'un manuel à quelqu'un. Mais ce pdf était beaucoup trop lourd pour passer par un boîte mail. J'ai donc cherché une solution pour réduire la qualité de pdf, mais sans succès (pas possible avec Aperçu, ni Adobe Acrobat, et recherche sur Macports infructueuse).

J'ai donc voulu contourner le problème : je souhaitais extraire les images du pdf pour pouvoir changer la qualité puis les assembler de nouveau pour faire un pdf.

J'ai donc tapé au petit bonheur la chance "pdf2png" sur Google, et je suis tombé sur ce lien. Il s'agit d'un petit programme en Objective C qui va automatiquement convertir les pages de fichiers pdf en images png de haute qualité.

Voici les étapes pour compiler et installer le programme (sur Mac OS seulement) :

$ gcc --std=c99 -Wall -g -o pdf2png pdf2png.m -framework Cocoa $ sudo mv pdf2png /usr/bin/

Et voilà ! Il n'y a plus qu'à utiliser le programme sur mon fichier pdf de 33 pages :

$ pdf2png manuel_vox.pdf
$ ls
manuel_vox-p01.png manuel_vox-p10.png manuel_vox-p19.png manuel_vox-p28.png manuel_vox-p02.png manuel_vox-p11.png manuel_vox-p20.png manuel_vox-p29.png manuel_vox-p03.png manuel_vox-p12.png manuel_vox-p21.png manuel_vox-p30.png manuel_vox-p04.png manuel_vox-p13.png manuel_vox-p22.png manuel_vox-p31.png manuel_vox-p05.png manuel_vox-p14.png manuel_vox-p23.png manuel_vox-p32.png manuel_vox-p06.png manuel_vox-p15.png manuel_vox-p24.png manuel_vox-p33.png manuel_vox-p07.png manuel_vox-p16.png manuel_vox-p25.png manuel_vox.pdf manuel_vox-p08.png manuel_vox-p17.png manuel_vox-p26.png manuel_vox-p09.png manuel_vox-p18.png manuel_vox-p27.png

Enfin, j'ai inséré toutes ces images dans un document Pages, puis Exporter > PDF où j'ai choisit la qualité la plus faible qui est appelée "Bonne" (en pensant à mettre toutes les marges à 0 pour conserver les dimensions originales).

Cette méthode est un peu fastidieuse, mais à défaut d'avoir trouvé autre chose, elle fonctionne bien. Mon fichier de départ faisait 26,2 Mo, et il fait maintenant 10,3 Mo, ce qui est plus facile pour diffuser le fichier (la qualité n'étant pas ma priorité).