FMI “devolve” US$ 3,9 bilhões ao Brasil