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