- Selon la nouvelle nomenclature
Agaricus koelerionensis
devient
Agaricus
variegans
-