Extension de fichier lors impression PDF

[demande_aide_fr]

Bonjour

Voici une nouvelle question envoyée à l'aide du formulaire de demande d'aide (http://fr.libreoffice.org/get-help/poser-une-question/).
Si vous répondez, merci de penser à utiliser la fonction "répondre à tous" de votre logiciel de courrier électronique de façon que le demandeur reçoive une copie de votre réponse.

Email:: pierre.cucheval@gmail.com
Sujet:: Extension de fichier lors impression PDF
OS:: MacOS X
Version:: 5.4.x
Question:: Bonjour,

Je viens de faire la mise à jour de LibreOffice en 5.4.7.2.

Depuis j'ai le soucis suivant :

Lorsque je suis dans un document writer par exemple, et que je clique sur fichier / imprimer / enregistrer au format pdf, le fichier est renommé avec l'extension odt.pdf
Alors qu'avant c'était une extension .pdf, simplement.

En faisant Fichier / Exporter au format PDF, je n'ai pas ce problème, mais c'est plus long car le paramétrage par défaut fait une compression.

Si quelqu'un a une idée...
Bonne journée
PiR