Puede encontrar la guía para el buscador aquí.

Para una búsqueda más eficiente, se recomienda utilizar las opciones de filtros, de manera que haya mayor probabilidad de encontrar lo deseado en el sitio. Por ejemplo, con la opción de filtro "Documentos", se realiza una búsqueda en más de 20 000 documentos.