A receita pública, em sentido amplo, caracteriza-se pelo ingresso de recursos ao patrimônio público, mais especificamente como uma entrada de recursos financeiros que se reflete no aumento das disponibilidades. Estes recursos, do ponto de vista econômico, são classificados como receitas correntes e receitas de capital. Dentre as opções abaixo, qual corresponde a uma receita de capital?