¿Qué es el tiempo de trabajo efectivo en el que el trabajador no desarrolla sus tareas, pero está a disposición de la empresa?