RIO JANEIRO den 1 december.