Pues sí, un champiñón, un agaricus. Soy de Sevilla también y acostumbro a verlos en parques, parterres, incluso en aceras.
El tuyo está algo viejete. Si quieres llegar a la especie te aconsejo que prestes atención al diseño de la cutícula, al anillo, a las proporciones, si la carne vira (amarillo, rosado..). Lo normal es que sea campestris, aquí en Sevilla he visto también la variedad squamosus, bitorquis, que para mí es inconfundible, algunos amarilleantes... en general es un género más dificil de lo que parece.
Ah por cierto, hace años solía encontrarme con unos siempre debajo de cupresáceas que me tenían mosqueado aunque para mí eran campestris.
Gracias a un post de Josuerofe acabo de conocer un nuevo agaricus asociado a estas plantas. Quién sabe, a lo mejor era ese el que yo veía.
Saludos.