The Colmez conjecture is a formula expressing the Faltings height of
an abelian variety with complex multiplication in terms of some linear
combination of logarithmic derivatives of Artin L-functions. The aim of
this paper to prove an averaged version of the conjecture, which was also
proposed by Colmez.