Informasi yang berkaitan dengan Daftar planet minor/Observatoire du Pic du Midi