Office de radiodiffusion-television française. Choeurs.