  The Colmez conjecture, proposed by Colmez, is a conjecture expressing the
Faltings height of a CM abelian variety 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.
