(B) si au moment où il cesse d’être ainsi employé il a atteint l’âge de cinquante-cinq 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 :
(B) if at the time he or she ceases to be so employed, he or she has reached 55 years of age and has to his or her credit not less than 25 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 5% of the amount of that annuity by