Pré-requis : avoir installé un serveur d'impression CUPS
$ sudo apt-get install cups-pdf (installation de l'imprimante PDF virtuelle)
$ sudo /etc/init.d/cups restart (redémarrage du serveur CUPS)
$ sudo aa-complain cupsd (donne les droits à l'imprimante PDF d'écrire les fichiers dans le réperoire PDF de chaque HOME)
Créer dans tous les répertoires "home" un dossier PDF
Si besoin :
$ sudo apt-get install lpr
Puis :
$ lpr -P PDF /nom_du_document_a_imprimer
Un document au format PDF devrait être généré dans ~/PDF