Supplementum ad Dictionarium historicum - Mansi, Gian Domenico (1741)