Backstage at the Revolution: How the Royal Paris Opera Survived the End of the Old Regime