Steel girders, Paris Opera