Orchestre philharmonique de la Radiodiffusion-télévision française, André Girard, Claude Martin, Choeurs de la radiodiffusion-télévision française, Jean-Pierre Bernard