Nom non résolu : Crocodyloidea » Eucaryotes » Fungi » Dikarya » Basidiomycota » Agaricomycotina » Agaricomycetes » Agaricomycetidae » Agaricales » Agaricaceae » Mastocephalus «