https://1library.org/document/zx5j902o-diário-da-república-ª-série-n-º-julho.html