Le seul problème est que les Linux Guru commencent à être un peu vieux et que, par conséquent, on paramètres des polices par défaut toujours trop grosses.