Tragédie mise en musique