Pipe ducting