Micromicetos varios de España y de Cerdaña