File:Hipparcos insignia.png