Direction Generale pour l'Armement, France