Observatoire du Pic du Midi de Bigorre, Hautes-Pyrénées, France