Existe-t-il un moyen d'augmenter la taille de la police ggplot2? Je pense que je dois spécifier quelque chose comme legend.key.width = unit(2, "line")dans la themefonction, mais cela est utilisé pour ajuster les touches dans les légendes, pas les tailles de police. Merci!
?themece genre de questions