Histoire et description du nouvel Opéra.
Of course, it is not magic, and the space utilised in which to house the restaurant is located where horse-drawn carriages used to draw up, to drop off the ticket holders when this opera venue in Paris first opened.
Retrieved 2 January 2019.
At the time, it was the world's largest opera house.