for fastening a pipe on the end of a tap