Si u2<=y -1 x'=y (fin)