interventor, según el caso, del centro de trabajo, empresa o negociación que