AccueilConnexion

DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale

Sous Windows

Lire les fichiers

ExtensionFormatLogiciel
.pdfPDF (Portable Document Format)Adobe Reader
.psPostScriptGhostscript + Ghostview
.zipCompressé ZipExplorateur Windows, 7-zip, Winzip, Winrar
.ps.gz ou ps.bz2PostScript compresséOuvrir directement avec Ghostview,
ou bien décompresser d’abord avec 7-zip
.mwsFeuille MapleMaple
.vPreuve COQéditeur de texte, CoqIde
.plSource Prologéditeur de texte

Imprimer plusieurs pages par feuille

Réduire les marges

La plupart des polycopiés sont générés avec des marges gigantesques, alors que l’on pourrait les utiliser pour agrandir le texte lorsque l’on imprime plusieurs pages par feuille. De plus, certains polycopiés sont générés au format de papier américain letter qui est plus large et moins haut que le A4, d’où perte de place supplémentaire à l’impression.

  1. Convertir le document en PostScript
  2. Recadrer les pages d’un fichier PostScript
    L’utilitaire psnup de MiKTeX permet, entre autres, de zoomer un fichier PostScript et de modifier ses marges. La syntaxe générale est la suivante :
    psnup -pA4 -sfacteur_zoom [-bmarge] [-Wlargeur_source -Hhauteur_source] source.ps dest.ps
    On zoome le document en donnant un facteur de zoom supérieur à 1, une marge négative, et hauteur de page source inférieure à la dimension réelle.
  3. Convertir le fichier PostScript en PDF (facultatif)

Pour automatiser cette procédure, vous pouvez télécharger les fichiers Batch pdf_zoom_letter.bat et pdf_zoom_a4.bat. Sous réserve d’éditer les scripts en rajoutant le chemin d’accès des programmes pdftops, psnup et ps2pdf, il vous suffira de faire glisser votre fichier PDF sur le script pour le convertir. Le fichier original n’est pas écrasé.

Sous Linux et assimilables

Lire les fichiers

ExtensionFormatLogiciel
.pdfPDF (Portable Document Format)Adobe Reader (paquet acroread), xpdf
.psPostScriptgv, ggv
.zipCompressé Zipunzip
.ps.gz ou ps.bz2PostScript compresséDécompresser avec gunzip ou bunzip2 (paquet bzip2)
puis lire comme un fichier PostScript
.mwsFeuille MapleMaple
.vPreuve COQéditeur de texte, CoqIde
.plSource Prologéditeur de texte

Imprimer plusieurs pages par feuille

Réduire les marges

La plupart des polycopiés sont générés avec des marges gigantesques, alors que l’on pourrait les utiliser pour agrandir le texte lorsque l’on imprime plusieurs pages par feuille. De plus, certains polycopiés sont générés au format de papier américain letter qui est plus large et moins haut que le A4, d’où perte de place supplémentaire à l’impression.

Pour réduire les marges d’un document PDF, utiliser l’option --trim de pdfnup :
pdfnup --trim "2cm 2cm 2cm 2cm" source.pdf
L’ordre est gauche, bas, droite, haut. Cette option est bien sûr combinable à l’option --nup. Pour faire des essais, l’option -remote de xpdf peut être pratique (voir le man).

  1. Convertir le document en PostScript
  2. Recadrer les pages d’un fichier PostScript
    L’utilitaire psnup permet, entre autres, de zoomer un fichier PostScript et de modifier ses marges. La syntaxe générale est la suivante :
    psnup -pA4 -sfacteur_zoom [-bmarge] [-Wlargeur_source -Hhauteur_source] source.ps dest.ps
    On zoome le document en donnant un facteur de zoom supérieur à 1, une marge négative, et hauteur de page source inférieure à la dimension réelle.
  3. Convertir le fichier PostScript en PDF (facultatif)
    ps2pdf -sPAPERSIZE=a4 source.ps

Pour automatiser cette procédure, vous pouvez télécharger les scripts pdf_zoom_letter.sh et pdf_zoom_a4.sh. Il suffit de leur donner en argument le nom du fichier PDF à zoomer. Le fichier original n’est pas écrasé.

Les documents référencés sur ce site sont la propriété intellectuelle de leurs auteurs respectifs. Ne pas les reproduire sans autorisation.
Le code source de ce site est placé sous licence GPLv3.