Tricholoma pardinum = Tricholoma tigrinum