at the high-altitude mountain site of Pic du Midi Observatory in the French Pyrenees