Travaux sur le réseau gaz rue Linck