A group G is said to be in Ek*E_k^* (k a positive integer), if every infinite subset of G contains a pair of elements that generate a k-Engel group.¶It is shown that a finitely generated locally graded group G in Ek*E_k^* is a finite-by- (k-Engel) group, in particular a finite extension of a k-Engel group.