Pinus sylvestris var. catalaunica