Polices et couleurs
Les polices et couleurs de la plateforme peuvent être personnalisés à partir du menu "Options" > "Options de l'espace de travail"
Les polices et couleurs de la plateforme peuvent être personnalisés à partir du menu "Options" > "Options de l'espace de travail"