Lotería de Navidad 2023: ¿Cómo cobrar un décimo premiado?

¿Cómo cobrar un premio de la Lotería de Navidad 2023?