Orchestra of the Théâtre National de l'Opera, Paris