Interior construction, Paris Opera