Lors du décès d’un ancien magistrat, le droit à la retraite est acquis jusqu’à la fin du mois où il est décédé.
Ordonnance concernant les traitements et la prévoyance professionnelle des magistrats · RS 172.121.1
Art. 6 RS 172.121.1Extinction du droit à la retraite
Section 2: M Montant de la retraite