Il me semble qu’un pdf est un format vectoriel. Si l’on parle de pixels, on est plutôt en raster. Peut-être une manipulation d’outils de conversion du pdf vers du raster est-elle plus utile que cele du fichier TeX? Par exemple mutool a une option de sortie du pdf vers le jpg permettant de préciser la résolution en dpi.
@sztruks : merci pour ton commentaire. À vrai dire, je n'en sais rien : on me demande ce format, voilà tout. Mon document contiendra des titres en pleine page, des images... un peu comme un beamer.
Dans ce cas, je pense que le plus simple est de créer ton pdf, de le découper page par page avec mutool ou autre, puis de convertir chacune d’entre elle en tiff ou jpeg à la bonne résolution (ou bien en gif animé, ce qui serait sans doute encore mieux), mais je ne maîtrise pas ce format. Avec GraphicsMagicket en shell cela donnerait — aux aménagements de shell près, chez moi c’est ksh — : for i in fichier-*.pdf; do gm convert -quality 100 -resize 1920x1080! $i ${i%pdf}.jpg; done
La demande originelle est d'obtenir un format de la page qui corresponde à celui de la vidéo sans recadrage. Soit une diagonale d’image de 1,7777777778 (1 920/1 080).
Le réglage de \geometry{paperwidth=1920pt,paperheight=1080pt,} modifie la taille de la page du fichier compilé. Tu obtiens un nouveau rectangle de 67,7 cm × 38 cm, à l’italienne. C’est le format de l’image qui est souhaité. Demande à \LaTeX une image dont la diagonale corresponde à ce format, mais dans une dimension qui ne perd pas la taille des caractères. Il faut aussi régler les marges et optimiser la taille des caractères….
Le pdf — sans inclusion d’images bitmat — est vectorisé. Tu n’as pas à effectuer de conversion de ton pdf vers un fichier video dont tu sembles ignorer le format d’ailleurs.
Professeurs de mathématiques dans le secondaire, connaissez-vous le package ProfCollege de Christophe Poulain ? Il est aussi utile que bien documenté !
Il me semble qu’un pdf est un format vectoriel. Si l’on parle de pixels, on est plutôt en raster. Peut-être une manipulation d’outils de conversion du pdf vers du raster est-elle plus utile que cele du fichier TeX? Par exemple
mutoola une option de sortie du pdf vers le jpg permettant de préciser la résolution en dpi.@sztruks : merci pour ton commentaire. À vrai dire, je n'en sais rien : on me demande ce format, voilà tout. Mon document contiendra des titres en pleine page, des images... un peu comme un beamer.
Dans ce cas, je pense que le plus simple est de créer ton pdf, de le découper page par page avec
mutoolou autre, puis de convertir chacune d’entre elle en tiff ou jpeg à la bonne résolution (ou bien en gif animé, ce qui serait sans doute encore mieux), mais je ne maîtrise pas ce format. AvecGraphicsMagicket en shell cela donnerait — aux aménagements de shell près, chez moi c’est ksh — :for i in fichier-*.pdf; do gm convert -quality 100 -resize 1920x1080! $i ${i%pdf}.jpg; done