Robles Muñoz, Cristobal, Instituto de Historia, CSIC, España