Énergie : à Paris, le réseau de gaz est-il vétuste ?