Le théorème de Hilbert-Samuel en géométrie algébrique relie le comportement asymptotique du système linéaire gradué d’un faisceau inversible ample au nombre d’intersection. Gillet et Soulé ont démontré un analogue arithmétique de ce résultat. Dans ce mini-cours, j’explique cet énoncé arithmétique et l’idée de sa démonstration.