Los funcionarios del Estado tienen desde hace años una jornada semanal de 37,5 horas