Is there a lake under opera garnier?

There is an artificial lake called the "Lac souterrain" under the Palais Garnier, which used to house the Paris Opera's scenery pool and boat ride from its early days. It was built in 1875 but filled in later in the 20th century.