Ahorro con reducción de jornada del 15% a mayores salarios públicos (cifras en millones de colones)