Le val d'Andorre (Halévy, Fromental)