Observatoire du pic du Midi. © Jeroen Sonke, GET