La Administración de Lotería "Doña Petra" vende parte de un quinto premio de la Lotería de Navidad