  In this paper, we propose a new height function for a variety defined over a
finitely generated field over Q. For this height function, we will prove
Northcott's theorem and Bogomolov's conjecture, so that we can recover the
original Raynaud's theorem (Manin-Mumford's conjecture).
