Le Pentagone renonce à JEDI, son projet de « cloud » informatique confié à Microsoft pour 10 milliards de dollars