¿Cuándo hay que pactar un juicio laboral?