Jornada laboral de cuatro días: quién la aplica ya y qué resultados ha obtenido en la productividad