In memoriam Antonio Jorge Dias (Instituto de Alta Cultura, 1974)