Diffuse brain swelling after head injury: more often malignant in adults than children?