Quelques astuces utiles pour optimiser le chargement de pages web lorsqu'on utilise des polices en CSS