Pinus armandii (Borovice Armandova)