Identifier raccordement bleu

Bonjour. Nous venons d’acheter une maison et en faisant des travaux de maçonnerie à l’extérieur, nous avons découvert un gros tuyau de couleur bleu (photo 1). Puis, en ouvrant la petite porte qui mène dans des combles perdus, j’ai découvert ce même tuyau de couleur bleu (photo 2). Ni le maçon, ni le plombier ne savent à quoi ça correspond. Sachant que cette maison a été construite au début des années 80 et que les derniers propriétaires n’en sont pas à l’origine, quelqu’un pourrait-il m’éclairer ? car je le supprimerai bien pour faciliter l’accès aux combles… Pour information, il n’y a pas de gaz dans la maison mais peut-être y en avait-il avant !! Merci par avance 🙂