Les surfaces arithmétiques formelles-analytiques sont un analogue — mélant arithmétique et analyse complexe — des voisinages tubulaires des courbes dans les surfaces. Je donnerai plusieurs applications de ces objets à des questions de finitude des groupes fondamentaux.