Pour le Pentagone, le contrat JEDI doit rester aux mains de Microsoft