bonjour
ne toucher certainement pas aux tubes de grès, sinon vous en êtes quitte pour tout remplacer
je suppose que ce trou a été fait dans la partie haute du tuyau
si la rustine est bien faite, il n'y a aucune raison de vous tourmentez
j'ai fais des réparations de dépannage sur de tuyauterie d'usine eau ou vapeur sous pression qui ont tenus parfois des mois avant que l'on ne répare (période de congés)
donc si cela peut vous rassurez, dormez tranquille et au besoin si cela bouche vous aurez déjà l'ouverture pour introduire le furet