Amat, Carlos B., Instituto de Estudio Históricos y Documentales sobre la Ciencia, CSIC, España