Devices for covering leaks in pipes or hoses, e.g. hose-menders from inside the pipe a sealing material being introduced inside the pipe by means of a tool moving in the pipe {a part of the tool defining, together with the inner wall of the pipe, an enclosed space into which sealing material is injected}