L'US Navy prolonge le contrat d'infogérance signé avec EDS