Algébricité de l'espace de feulletages d'un espace analytique compact.
We give an Arakelov theoretic proof of the equality of conductor and discriminant.
We prove an analog in Arakelov geometry of the Grothendieck-Riemann-Roch theorem.