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