Pour le script, je dois obtenir les dimensions de la page d'un fichier PDF (en mm).
pdfinfo
il suffit de l'imprimer en 'pts', par exemple:
Page size: 624 x 312 pts
Que devrais-je utiliser?
Ou quelle unité est "pts" de toute façon - au cas où je veux les convertir ...