Management of main gas pipelines