Instituto de Investigaciones Históricas. Manuales auxiliares para la investigación histórica