. "Clavulinopsis michelii" . . .