comment augmenter la taille des polices dans le système d'exploitation élémentaire
gsettings set org.gnome.desktop.interface text-scaling-factor <value>
Raman
gsettings set org.gnome.desktop.interface text-scaling-factor <value>