Pinus mugo (pinus mugo)