Le théorème de Schneider-Lang est un critère classique de transcendance pour des nombres complexes. Il dit que des fonctions méromorphes d'ordre fini, vérifiant une équation différentielle polynomiale à coefficients dans un corps de nombres et algébriquement indépendantes ne peuvent prendre simultanément des valeurs dans ce corps de nombres qu'en un nombre fini de points. Dans cette thèse, nous démontrons des généralisations géométriques de ce critère, valables sur le corps des nombres complexes ou sur un corps p-adique. Ces résultats s'appuient sur des lemmes de Schwarz adaptés, que nous avons établis. En dimension 1, nous démontrons un théorème concernant des sous-schémas formels admettant une uniformisation par une courbe algébrique affine. En dimension supérieure, notre théorème s'applique à des sous-schémas formels admettant une uniformisation par un produit d'ouverts de la droite affine, sous l'hypothèse supplémentaire que l'ensemble des points étudiés est un produit cartésien. Les démonstrations de ces résultats reposent sur la méthode des pentes développée par J.-B. Bost et utilisent le langage de la géométrie d'Arakelov.