RIO JANEIRO den 3 Juni.