Les chœurs de La Monnaie chante pour la fête du Roi.