Ricordiamo l’orario di apertura della BIBLIOTECA “DIEGO DE CASTRO”