Direct images in non-archimedean Arakelov theory

We develop a formalism of direct images for metrized vector bundles in the context of the non-archimedean Arakelov theory introduced in our previous joint work with S. Bloch, and we prove a Riemann-Roch-Grothendieck theorem for this direct image.