Bonsoir Toutes les polices des programmes GTK sont énormes. Comment on change la taille de la police Merci