Montrons par récurrence que :` forall n in N : u_n ne 0 `
2) Montrer que `(v_n)` est géométrique dont on déterminera la raison et le premier terme