Orchestre du Théâtre de l'Opéra de Paris, André Cluytens, Robert Jeantet, Choeur du Théâtre de l'Opéra de Paris