Que se celebra el 22 de diciembre lo sabe todo el mundo. Que quienes cantan los números son los niños de San Ildefonso, también. Pero seguro...