L’US Air Force a dépensé un milliard de dollars pour un logiciel inutilisable