RIO JANEIRO den 4 Juni.