Orchestre national de la Radiodiffusion française, Georges Tzipine, Janine Micheau, Michel Sénéchal