The first inventory of the Badia library from ca. 1464, approved by Cosimo de’ Medici for a successful library stocking (Fiesole 227)