À un moment donné (il y a des années ?), mon safari a commencé à ne pas avoir certaines polices de caractères. Un exemple est cette page : http://flask.pocoo.org/docs/deploying/others/
Comment puis-je résoudre ce problème ?
Réponse
Trop de publicités?Solution : J'ai regardé dans ~/Bibliothèque/Polices et il y avait toute une série de polices avec des noms bizarres (à partir d'un mauvais rsync il y a des années où les caractères sont devenus échappés en HTML d'une manière ou d'une autre).
J'ai supprimé tout le contenu de ce répertoire et tout s'est clarifié, même si je ne trouve toujours pas Garamond nulle part sur le système. Mais il est certainement disponible.
