MPFR : aucune action effectuée (MPFR est une librairie).
<< Doc>> : marqueur du groupe de boutons << Documentation>>. Ce bouton
n'exécute aucune action, il sert juste de séparateur visuel entre les groupes
de boutons.
Site web : affiche le site de Mpfr dans le navigateur web par défaut.
Loc web : affiche une copie locale du site de Mpfr dans le navigateur
web par défaut.
(
