Produção de petróleo do Brasil soma 4,71 mi bpd em setembro, 4º recorde mensal consecutivo