Dizionario enciclopedico italiano. 3, CAT-DET (Istituto della Enciclopedia Italiana, 1956)