Taxonomic name: Phronia johannae (Classification)Distribution after: Additions à la Faune de France des Diptères Mycetophilidae