3. A judge who ceased to hold office before the age of sixty and who would be entitled to a retirement pension when he or she reached that age may elect to receive a pension from any date after the date on which he or she ceases to hold office. Should he or she so elect, the amount of such pension shall be that amount which has the same value as the retirement pension which would have been paid to him or her at the age of sixty.
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.