En géométrie intégrale, la formule cinématique additive exprime le volume moyen de la somme de Minkowski de deux compacts convexes placés aléatoirement dans l'espace euclidien. Que se passe-t-il si on ne les suppose plus convexes ? Et si l'on remplace l'espace euclidien par un autre groupe de Lie ? Dans un travail en collaboration avec Andreas Bernig, nous montrons une formule cinématique additive pour les sous-analytiques de l'espace euclidien et de la sphère de dimension 3. La clé est de généraliser la somme de Minkowski par la convolution des fonctions constructibles définie par Viro et Schapira dans les années 80. Cette convolution, fondée sur des calculs de caractéristique d'Euler, est définie à l'aide d'un formalisme des opérations sur les fonctions constructibles.