El OPAC con valor añadido: 4o utilidades para los usuarios de los catálogos automatizados