An operational semantics for bounded nondeterminism equivalent to a denotational one : (preprint)