
El nombre científico y oficial del Sistema “Cervantes”, se aprobó por la Unión Astronómica Internacional (IAU) en diciembre de 2015, tras una votación pública sobre la propuesta presentada por el Planetario de Pamplona y la Sociedad Española de Astronomía.