Renommer le Pentagone : combien coûtera le retour au Département de la Guerre ?