Oracle remporte un contrat de 7 milliards de dollars pour un logiciel du Pentagone.