La jornada media, por debajo de las 37,5 horas