Gare de Lyon, à Paris : peut-on dire que le nom officiel est "gare de Paris-Lyon" ? Sinon, je vois sur le site internet de la gare "Hall 1" et "Hall 2" sur le tableau virtuel des départs et des arrivées, peut-on les cartographier ?