CHANGE TOUTES POLICES

Permet de modifier toutes les polices de caractères sur les bords de fenêtres et dans les menus. Les différentes polices à disposition sont proposées dans un menu popup.