Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt

We prove quantifier elimination in Witt vectors over an algebraically closed fields (or in power series), considered as a valued module over the Ore ring of Frobenius polynomials. We get that these structures do not have the independence prope