Сначала она называлась площадью Людовика XV, а после свержения монархии в 1792 году была переименована в площадь Революции. Как она называется сейчас?