A carteira de crédito do Banco Nacional de Desenvolvimento Econômico e Social (BNDES) somou R$ 515 bilhões em 2023, acréscimo…