Flora Helvetica parle quand à lui de feuilles de largeur 7 à 15 mm.
Ce qui est à noter, c'est que cette espèce a des feuilles on va dire d'une bonne largeur.
La nature dans les faits se préoccupe fort peu de la précision des chiffres indiqués dans les livres 😃
Comme souvent, c'est une station que des personnes compétentes m'ont fait découvrir et que je revisite de temps à autres, car elle comprend nombre de plantes rares ou peu fréquentes, dont l'évolution est à suivre.
Ghislaine a bien vu ce dont il s'agit.