4. Un ancien juge qui est réélu ne perçoit aucune pension jusqu'à ce qu'il cesse à nouveau d'exercer ses fonctions. À cette date, le montant de sa pension sera calculé conformément au paragraphe 2 ci-dessus sur la base de la durée totale de ses services et réduit du montant de l'équivalent actuariel de toute pension de retraite qui lui aurait été versée avant qu'il ait atteint l'âge de soixante ans.
4. 再次当选的前法官,在再度停止任职以前,不得领取退休养恤金。再度停止任职时,其养恤金数额应根据其全部任职时间依上文第2款规定计算,但须减去与其在60岁以前已领的任何退休养恤金数额的精算价值相等的数额。