densamma benämnd Ludvig XV:s torg.