Je présenterai un analogue motivique de la densité locale introduite par Kurdyka-Raby dans le cas réel et Cluckers-Comte-Loeser dans le cas p-adique. Celle-ci s’applique aux définissables dans une théorie de corps Henséliens modérée (au sens de Cluckers-Loeser), en caractéristique nulle et caractéristique résiduelle quelconque.Comme dans les cas sus-cités, il existe un cône tangent distingué sur lequel on peut calculer la densité si on lui attache des multiplicités, qu’on définit en décomposant l’ensemble définissable étudié en graphes de fonctions (localement) 1-Lipschitziennes. Cela implique en particulier une version uniforme du théorème de Cluckers-Comte-Loeser sur la densité p-adique.
- Séminaire Géométrie et théorie des modèles