"Cervantes" nombre de una estrella?

¿Te acuerdas de la iniciativa del Planetario de Pamplona, el Instituto Cervantes y la Sociedad Española de Astronomía, para llamar "Cervantes" a una estrella, que se podía votar hasta el 31 de octubre de 2015?

Pues bien, desde el 15 de diciembre pasado, en el cielo hay una estrella llamada Cervantes y sus cuatro planetas se llaman Dulcinea, Rocinante, Quijote y Sancho. Lee más detalles en el archivo adjunto

https://www.luminpdf.com/documents/bcWGpxPs6LpQSPLDY/share?sk=4b3669b8-086b-4a31-83a9-1b1b811a3c53