Réduire la taille des polices des GTK sous KDE

En utilisant des applications à la base prévue pour GTK (donc pour Gnome) sous KDE, on fait souvent face à un surdimensionnement des polices de l'application, ce qui est fort désagréable. Voici la solution pour corriger ce problème.