Constitui exemplo de receita extraorçamentária a proveniente de :