Bulletin de l'Observatoire du Pic du Midi, partie historique — Édouard Harlé