Orchestre de l'Opéra de Paris, André Cluytens, Boris Christoff, Chœur de l'Opéra de Paris