Gavilanes, Emilio, Instituto de Lexicografía de la Real Academia Española, España