Presidente da República distingue o Prof. Henrique de Barros, a título póstumo, com Ordem do Infante D. Henrique