A small value estimate in dimension two involving translations by rational points

We show that if a sequence of non-zero polynomials in ℤ[X1, X2] takes small values at translates of a fixed point (ξ, η) by multiples of a fixed rational point within the group ℂ × ℂ*, then ξ and η are both algebraic over ℚ. The precise statement involves growth conditions on the degree and norm of these polynomials as well as on their absolute values at these translates. It is essentially best possible in some range of the parameters.