us4710078a device for the internal deburring of a pipe