En caso de que el funcionario , en el momento de cese definitivo de sus funciones , tenga derecho a la indemnizacion por cese en el servicio , ésta sera disminuida del pago efectuado en virtud del articulo 42 del régimen aplicable a los otros agentes ; cuando el interesado tenga derecho a una pension de jubilacion , sus derechos a pension seran reducidos proporcionalmente a los pagos ejecutados en virtud de dicho articulo ".
Where an official, on terminating his service, is entitled to a severance grant, this grant shall be reduced by the amount of the payments made under Article 42 of the conditions of employment of other servants; where he is entitled to a retirement pension, his pension rights shall be reduced in proportion to the payments made under that Article'.