Gas pipelines at petroleum platform