(b) if he ceases to be so employed havin
g to his credit ten years or more but less than twenty years of operational service that is pensionable service, he is entitled, at his option on ceasing to be employed in the public service, to an annual allowance in respect of that service in respect of which he has not exercised an option under subsection (2) in lieu of any benefit under subsection 13(1) in respect of that service, payable immediately on his exercising his option, equal to the amount of the deferred annuity that would be payable under subsection 13(1) in respect of that service reduced by the product obta
ined by mu ...[+++]ltiplying five per cent of the amount of that annuity by twenty minus the number of years, to the nearest one-tenth of a year, of his operational service that is pensionable service, with a maximum reduction of thirty per cent.b) s’il cesse d’être employé ainsi après dix années ou plus mais moins de vingt années de service opérationnel ouvrant droit à pension, il a droit, à son gré dès qu’il cesse d’être employé dans la fonction publique, de bénéficier au titre de ce service à l’égard duquel il n’a pas exercé l’option visée au paragraphe (2), d’une allocation annuelle tenant lieu des prestations visées au paragraphe 13(1) au titre de ce service, payable immédiatement, lors de l’exercice de son option, et égale au montant de la pension différée qui serait payable en vertu du paragraphe 13(1) au titre de ce service, diminué du produit obtenu
en multipliant cinq pour cent ...[+++] du montant de cette pension par vingt moins le nombre d’années, arrondi au dixième d’année le plus proche, de son service opérationnel ouvrant droit à pension, avec une réduction maximale de trente pour
cent.