Au passage, si tu n'aimes pas les ligatures, tu devrais essayer d'autres polices. Les ligatures sont présentes parce qu'elles améliorent le rendu sur les polices traditionnelles. Certaines polices modernes ont été conçues pour ne pas en avoir besoin, et ne fournit plus ces caractères. Tu n'as alors même pas besoin de les désactiver, et le résultat graphique est de meilleure qualité que si tu désactives les ligatures sur une police qui en a besoin.
[^] # Re: Quel logiciel ?
Posté par JGO . En réponse au message fi collé en latex. Évalué à 3.