Polo bibliotecario: il costo passa da 90 a 60 milioni