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