Recursion in the call-by-value lambda-calculus