Robert le Diable: Ouverture – Orchestre de l’Opéra national de Paris