Septic sequelae after splenectomy for trauma in adults.