Altera o art. 9 º do Decreto-lei número 3.100, de 7 de Março de 1941.