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