Bonjour à tous,

Je cherchais à améliorer ces caractères, qui sont parmi les plus moches, et ne suivent pas les paramétrages généraux de Linux.

Je suis tombé sur l'extension

qui donne d'excellents résultats chez moi.