¿ A qué hora abre la biblioteca pública ?