HORARIO DE VERANO DE LA BIBLIOTECA “RAMÓN J. SENDER”