Armide: Drame héroique, mis en musique