Durante il periodo estivo gli orari di apertura delle biblioteche potrebbero subire variazioni.