Orchestre philharmonique de la Radiodiffusion-télévision française, André Girard, Choeurs de la radiodiffusion-télévision française, Jean Emmanuel