Joël Barre prolongé jusqu'au 31 juillet à la tête de la direction générale de l'armement