Orchestre philharmonique de la Radiodiffusion-télévision française, André Girard, Choeurs de la radiodiffusion-télévision française, Claude Martin, François Chaumette