Faust and Dante: knowledge and allegory