Nous donnons une démonstration du fait que le groupe des classes d’un schéma irréductible de type fini sur $Spec𝐙$ est de type fini. Cette preuve ne repose pas sur le théorème de Mordell-Weil-Néron, mais plutôt sur le théorème de Mordell-Weil classique, le théorème de Néron-Severi et les théorèmes de Hironaka et de Jong sur la résolution des singularités. Nous en déduisons quelques corollaires, parmi lesquels le théorème de Mordell-Weil-Néron lui-même.