Le Pentagone tire un trait sur son méga contrat avec Microsoft