je change la résolution et ça change la taille des polices au démarrage

Là dessus je suis d'accord, c'est un gros gros bug. Kevin, tu as paraît-il des contacts dans l'équipe de développement de KDE. Il faudrait remonter ça.