Alternate Definitions for Pic_du_Midi_Observatory

include archived terms