| Résume||ATTENTION : EXCEPTIONNELLEMENT, CET EXPOSÉ AURA LIEU À L’INSTITUT HENRI POINCARÉ.
Definable sets in the ordered abelian group ℤ are very well understood, via Presburger arithmetic. In particular, one can easily give a complete classification of definable subsets of ℤ^n up to definable bijection: Finite sets are classified by their cardinality and infinite sets are classified by a notion of dimension. Surprisingly, things become more difficult if one works in an elementary extension of ℤ. In the talk, I will present a complete classification of definable sets in that setting. This is joint work with Raf Cluckers.