, RIO DE JANEIRO den 1 Juni.