Productions liées à Armide - Opéra Royal du Château de Versailles (2015) . 3