Ensiklopedi Indonesia (PT Ichtiar Baru - Van Hoeve)