si vn = un/2^n = 1, 2, 5... alors n->vn est un polynôme de degré <=2 donc vn = 1+n^2
les facteurs premiers p de 2007 sont tous congrus à 3 mod 4 donc n^2 != -1 mod p donc p ne divise pas vn et donc pas un puisque p est premier avec 2^n