Taxonomic name: Bolitophila coronata (Classification)Distribution after: Note sur les Mycetophilidae de la règion pyrénéenne et description de quatre espèces nouvelles