Très belle espèce, peu récoltée, sans doute parce que les mycologues ne songent pas à explorer sous les cèdres des parcs à l'automne, je ne sais... On y trouve beaucoup d'espèces inhabituelles ailleurs, pourtant !
Il s'agit d'Agaricus coniferarum, pas rare d'après Jacques Guinberteau.
Je renomme.