La pension de réversion d'un fonctionnaire, militaire ou magistrat