catalogue and the numbers from the Hipparcos catalogue. What is more, every one of