Question bête : y a-t-il un moyen simple de connaitre la police réellement utilisée par le navigateur lors de l’affichage ?