a) een uitkering bij vertrek gelijk aan driemaal de op zijn basissalaris ingehouden pensioenbijdragen, verminderd met de bedragen die zijn betaald bij toepassing van de artikelen 42 en 112 van de regeling die van toepassing is op de andere personeelsleden, indien hij ten minste gedurende een jaar in dienst is geweest en geen gebruik heeft gemaakt van de mogelijkheid waarin in artikel 11, lid 2, is voorzien;
a) s'il a accompli moins d'un an de service, et pour autant qu'il n'ait pas bénéficié de l'application de l'article 11, paragraphe 2, au versement d'une allocation de départ égale au triple des sommes retenues sur son traitement de base au titre de sa contribution à sa pension d'ancienneté, déduction faite des montants éventuellement versés en application des articles 42 et 110 du régime applicable aux autres agents;