Quercus petraea var. laciniata