Diccionario enciclopédico. (Codex, 1953)