Règlement concernant les pensions de retraite du Département de la marine — France