I restauri alla Biblioteca «Angelo Mai»