O Infante D. Henrique - texto de J. Estêvão Pinto ([s.n.], 1960)