Identifier un tuyau

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 y a un vide sanitaire et les WC du RDC se trouvent juste en dessous du tuyau qui se trouvent dans les combles.

Merci par avance pour votre aide