Fonctions constructibles et int\'egration motivique I
  We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative framework, in which we develop a relative version of motivic integration. 
R. Cluckers and F. Loeser