Taille de police HTML par défaut

Je me demande ce que le html par défaut une taille de police est et je ne peux pas trouver la réponse.

Ce que je veux dire est ceci :

Quelle est la taille de la police en pixels correspondant à cette :

html {
    font-size: 100%;
}

Il pourrait être utile de savoir si vous avez besoin de calculer rem tailles de police.

source d'informationauteur Romain Braun