Brasil tem recorde na produção de petróleo e gás natural em julho Total chegou a 4,482 milhões de barris de óleo equivalente por dia