En réalité, la façon dont j'ai obtenu ce screen importe peu; ce qui est sûr c'est qu'il s'agit bien du rendu de polices d'OS X
Sinon le "bug" c'est parce que je ne suis pas avec la taille de police par défaut (c'est le cas sur tous les navigateurs, mais étrangement il se voit moins avec Mozilla sous Windows).