Je dispose d'un ensemble de fichiers PDF avec des polices codées Identity-H, ce qui signifie que les symboles affichés ne correspondent pas à leurs codes, mais qu'il y a une correspondance biunivoque entre eux.
Donc, en fait, c'est un problème de cartographie. La question est de savoir s'il existe des outils gratuits disponibles (tous systèmes d'exploitation confondus) pour la correction manuelle ou semi-automatique des cartes de polices dans les PDF, de préférence pour Terminal, mais une interface graphique serait également acceptable.
Il y a Editeur Infix PDF pour Windows, qui dispose d'une option "remapper les polices" (voir ci-dessous), mais il est payant et n'a pas d'option pour enregistrer les résultats du remappage en PDF.
