• [^] # Re: Heuristique

    Posté par . En réponse au journal PDF, mais que fait la police. Évalué à 1. Dernière modification le 22 août 2021 à 20:46.

    Merci pour les informations liées à LibreOffice. En général, pour les sources tex, les logiciels graphiques (TexMaker) passent par pdflatex, mais je ne trouve rien dans la page man correspondante. On trouve des solutions sur internet liées à la commande \pdfmapfile, c'est gérable, mais c'est loin d'être trivial !