Il "Tractatus expendens propositiones damnatas ab Alexandro VII" di Juan Caramuel Lobkowitz. Studio introduttivo ed edizione critica