La guerre américaine d'Indochine ne fut jamais déclarée.