de Torres, José Carlos, Instituto de la Lengua Española, CSIC, España