¿Cómo se llama la lotería española?

El nombre oficial es El Sorteo Extraordinario de Navidad, pero a menudo se llama 'Lotería de Navidad', la lotería española de Navidad. Este apodo se usa tanto para toda la lotería de Navidad como para el número ganador del primer premio llamado el 'Gordo' de Navidad.
https://juega-loteria.blogspot.com/2020/02/cuanto-tiempo-tiene-un-ganador-de-la.html

superlotto puede