Fonction de Seshadri arithmétique en géométrie d'Arakelov

À tout fibré inversible adélique sur une variété arithmétique projective et tout point algébrique régulier de la variété arithmétique, on attache une fonction définie sur $\mathbb R$ qui mesure la séparation de jets en ce point algébrique par les sections ''petites'' du fibré inversible adélique. Cette fonction sera utilisée à étudier la positivité arithmétique locale.