Decretum Gratiani, Emendatum Et Notationibus Illustratum. (?d.1855) - pocket, Franska, 2012