Wiktionary
proper names
n. (proper name English)
Wikipedia
Proper names (astronomy)
Some astronomical objects have proper names (common names, popular names, traditional names; as opposed to catalogue numbers or other systematic designations). This trivially includes the naked-eye planets as well as the Sun and Moon. A small number of stars have proper names in pre-modern astronomical tradition, but most naked-eye stars are identified by their Bayer or Flamsteed designations.
In modern astronomy, there has been a tradition of giving proper names to newly discovered heavenly bodies, initiated with the discovery of the planets beyond Saturn, and later extended to minor planets and moons.