On expliquera comment construire un anneau de Grothendieck pour les formules semi-algébriques réelles, dans lequel s'injecte l'anneau de Grothendieck des variétés algébriques K_0(A_R), et qui se réalise dans K_0(A_R) otimes Z[1/2]. On montre ensuite la formule de Denef-Loeser pour des fonctions zêta de nature semi-algébriques puis que les fibres de Milnor semi-algébriques motiviques induites par la rationalité des fonctions zêta se réalisent via la caractéristique d'Euler à supports compacts sur la caractéristique d'Euler des objets semi-algébriques sous-jacents.