RIO JANEIRO den 1 * 2 Juni.