L’Edizione Vaticana della Divina Commedia allestita sub aegida Marini (1817-19)