3. El magistrado que cese en sus funciones antes de llegar a los sesenta años de edad y que tendría derecho a una pensión de jubilación al alcanzar esa edad podrá optar por percibir una pensión desde cualquier fecha posterior a la de cesación en el cargo. De optar en tal forma, la cuantía de dicha pensión será una suma que tenga el mismo valor que la pensión de jubilación que habría percibido al cumplir los sesenta años de edad.
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.