On expliquera une démonstration du fait que Pic(X) est de type fini pour X normal de type fini sur Z. Cette démonstration ne repose pas sur le théorème de Néron généralisant le théorème de Mordell-Weil aux corps de fonctions, et au contraire on peut déduire le théorème de Néron de la génération finie de Pic.
