First measurement of the cross section for top-quark pair production in proton--proton collisions at< span>< img height=