Orchestre National de l' O.R.T.F., Jean Martinon, Choeurs de l'