@TorF pas plus qu'il n'est chargé des milliers (millions ?) de pages web que tu as visitées, probablement. Il doit suffire de faire le ménage en vidant le cache du navigateur… Les polices ne sont pas installées, à coup sûr, mais plutôt juste exploitées à la volée.