Díaz-del-Río, Pedro, Instituto de Historia (CSIC)