Panaeolus antillarum
(Fr.) Dennis
= Panaeolus semiovatus var. phalaenarum (Fr.) Ew. Gerhardt
San Claudio (Oviedo-Asturias), 7-VII-2016, en estiércol de caballo, leg. Pedro Zapico.