Diatom-oxygen isotope record from high-altitude Lake Petit (2200 m a.s.l.) in the Mediterranean Alps: shedding light on a climatic pulse at 4.2 ka