Alain Barthélemy écrivait :
> Avec Google, j'ai suivi la méthode suivante (obsolète?):
Oui.
Il te suffit de taper tes polices dans ~/.fonts/ (pour un utilisateur
seul) ou dans /usr/share/fonts (ou un sous-répertoire) (pour
l'ensemble du système).
Frédéric