Enciclopedia Virgiliana (Istituto della Enciclopedia Italiana, 1988)