1. Fonctions rationnelles aux différences à valeurs entières dans les vecteurs de Witt;Bélair;C. R. Acad. Sci. Paris, Ser. I.,2004
2. Equations aux différences dans les vecteurs de Witt;Bélair;C. R. Acad. Sci. Paris, Ser. I,2005
3. Ultraproducts and approximation in local rings;Becker;Invent. Math.,1979
4. L. Bélair, A. Macintyre, T. Scanlon, Model theory of Witt vectors with Frobenius, préprint