Nous discuterons plusieurs questions de finitude sur les groupes fondamentaux des schémas arithmétiques -- les objets définis par des équations polynômiales à coefficients entiers. Nous expliquerons certains liens entre ces questions et des résultats récents de géométrie diophantienne et discuterons certains résultats partiels de finitude, obtenus en partie avec Jean-Benoît Bost.