. . . "Armillaria gallica" .