Délégation générale pour l'Armement - government organization in France