Thesée; tragedie mise en musique