(B) if at the time he or she ceases to be so employed he or she has reached fifty years of age and has to his or her credit not less than twenty-five years of pensionable service, an annual allowance, payable immediately on his or her exercising his or her option, equal to the amount of the deferred annuity referred to in clause (A) reduced by the product obtained by multiplying five per cent of the amount of that annuity by
(B) si au moment où il cesse d’être ainsi employé il a atteint l’âge de cinquante ans et compte à son crédit vingt-cinq années au moins de service ouvrant droit à pension, une allocation annuelle payable immédiatement, lors de l’exercice de son option, et égale au montant de la pension différée mentionnée à la division (A) diminué du plus grand des deux produits obtenus en multipliant cinq pour cent du montant de cette pension :