Dá nova redacção aos n.os 9.º e 15.º, n.º 1, da Portaria n.º 580/83, de 17 de Maio, que define o que se entende por habitação social