Le chef du service des pensions au ministère de l'économie, des finances et de l'industrie est chargé de l'exécution du présent arrêté, qui sera publié au Journal officiel de la République française.