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