La leggenda del «Purgatorio di S. Patrizio» nella tradizione di commento trecentesca,