Il s'agit probablement d'un doublon. Je ne peux pas imaginer que je suis la première personne à remarquer cela. Il semble que Safari 6 ait supprimé l'onglet d'apparence des préférences, et avec lui, la possibilité de changer les polices par défaut. Comment changer les polices par défaut de Safari...