Integration motivique sur les schemas formels

Nous generalisons la theorie de l'integration motivique au cadre des schemas formels. Nous definissons et etudions l'anneau booleen des ensembles mesurables, la mesure motivique, l'integrale motivique et nous demontrons un theoreme de changement de variables pour cette integrale.