RIO DE JANEIRO d , 1 aug.