Petrobras obtém US$ 1,25 bi com papel no exterior