Orchestre national de la Radiodiffusion française, Georges Tzipine, Chœur national de la Radiodiffusion française, Jean Davy, Odile Mallet