Peso do investimento público, em Portugal (% do PIB)