Aposentadoria por Acordo Internacional - Brasil/Portugal

Uma pessoa que se aposenta no Brasil e vai morar em Portugal precisa fazer a sua declaração de imposto de renda em Portugal dos rendimentos da aposentadoria que recebe no Brasil. Eu sei que o Brasil mantêm um acordo internacional com Portugal e existe a possibilidade do Brasil efetuar a transferência bancária através do INSS para uma conta em Portugal. Minha dúvida é: Quando eu fizer a declaração do imposto de renda em Portugal, eu tenho que declarar como rendimentos recebidos do exterior ou como rendimentos isentos e não tributáveis? A minha aposentadoria já está sendo debitada o IR, sendo assim não tenho que declarar como rendimentos recebidos do exterior pois seria uma dupla tributação, não é isso? Fiquei em dúvida pois li o Acordo Internacional e me informava desta forma, que não tem que ser tributado novamente em Portugal a minha aposentadoria.
Agradeço a atenção.