García Lorenzo, Luciano, Instituto de la Lengua Española, CSIC, España