J'avais des problèmes étranges pour copier le texte d'un PDF sur mon iPad (j'obtenais toujours un tas de ? ???), alors j'ai décidé de faire passer mon PDF par xpdf pour voir si cela pouvait arranger les choses :
pdftops naughty.pdf intermediate.ps
pstopdf -o good.pdf intermediate.ps
Cependant, après l'exécution de la première commande, j'ai obtenu l'erreur suivante :
Config Error: No display font for 'Helvetica-Bold'
Config Error: No display font for 'Times-Bold'
Config Error: No display font for 'Times-BoldItalic'
Config Error: No display font for 'Times-Italic'
Config Error: No display font for 'Times-Roman'
Sur une installation Linux, je résoudrais généralement ce problème en installant un paquetage de polices, mais je ne sais pas comment procéder sous OS X.