Category:Discoveries by the Pic du Midi Observatory

See parent category for proper sortkey usage instructions.