Manual de inquisidores, : para uso de las inquisiciones de España y Portugal, ó compendio de la obra titulada Directorio de inquisidores