Base de datos PDF: un motor de búsqueda de documentos y PDF gratuito con más de 7 millones de archivos