Het ijzeren masker : treurspel, in vijf bedrijven