Petits points et conjecture de Bogomolov

This paper is devoted to the statement known as the Bogomolov conjecture on small points. We present the outline of Zhangʹs proof of the generalized version of the conjecture. An explicit bound for the height of a non-torsion variety of an abelian variety is obtained in the frame of Arakelov theory. Some further developments are mentioned.