Horas extras. Las horas extras trabajadas en días normales de labor se
computan a valor una vez y medio. Para los días de descanso o feriado o
en horario nocturno (entre las 00.00 y 06.00) a valor doble, siempre que,
en el primer caso y para el personal con descanso rotativo, no se
compense antes del día de descanso siguiente.-