Dizionario enciclopedico italiano (Instituto della Enciclopedia italiana, 1955)