den 9,200 fot höga toppen af Pic du Midi.