Laparoscopic splenic-preserving distal pancreatectomy for trauma in a child