Comment réparer un tube polyèthylène percé?

A vrais dire la question est dans le titre mais je vais préciser.

J'habite dans un pavillon qui a une dépendance au fond du jardin, équipé d'électricité de l'eau et du gaz, d'ailleurs je ne sais pas quel miracle l'eat et le gaz passent dans le même fourreau depuis la maison et jusqu'au cabanon.

j'ai constaté de l'humidité dans l'allée entre la maison et la dépendance, et j'ai voulu savoir de quoi cela pouvait provenir, donc j'ai cassé la sol et constatez par vous même ce que j'ai trouvé, un tube polyéthylène percé fuyard a toute pression, bien sur! une vanne d'isolement est présente en amont et j'ai pu arrêter la fuite en coupant l'eau de la dépendance.

Comment puisse-je réparer cette fuite, suis-je obligé de changer la totalité du tube qui est placé a l'intérieur d'un tube PVC avec le tube de gaz qui lui est aussi fermé dans la maison principale.

J'ai constaté l'absence de filet bleu sur le tube est ce grave?
Merci de vous réponses