Irydion — play by Zygmunt Krasiński