En vísperas de Navidad, ¿la jornada laboral se debe pagar extra o se debe abonar como un día cualquiera?