Problème: je n'ai absolument aucune idée de *quelle* manip a bien pu débloquer ça, et ça m'embête beaucoup, puisque je ne pourrai plus recompiler mon document dans le futur sans avoir à m'arracher les cheveux à nouveau 3 bonnes heures...
Flanker (./800) :Brunni (./798) :
Essaie de sélectionner et faire du copier/coller depuis ton PDF et tu verras...
Bin ça marche parfaitement
Je ne sais pas quelle police tu utilises réellement (peut être que tu as un override quelque part qui te fait utiliser une police très similaire mais ayant les caractères latins - genre Latin Modern ou un nom du genre; ta distribution l'utilise peut être par défaut, ce serait un grand pas en avant).