3. Tout juge qui cesse ses fonctions avant d'avoir atteint l'âge de soixante ans et qui aurait droit à une pension de retraite lorsqu'il atteint cet âge peut choisir de recevoir une pension à partir de toute date postérieure à celle à laquelle ses fonctions prennent fin. Dans ce cas, il reçoit une pension de même valeur que la pension de retraite qui lui aurait été versée à soixante ans.
3. 于60岁前停止任职但在达到该年龄后即有权领受退休养恤金的法官,可选择其停止任职之日后的任何日期开始领受养恤金。若作出此项选择，所领退休养恤金与其本来在60岁时应领退休养恤金在价值上相等。