Az 1667-ben, majd átdolgozott formában 1674-ben megjelent Elveszett Paradicsom