On parlera des généralisations du théorème de Bombieri-Schneider-Lang à des morphismes analytiques des variétés affines dans des variétés projectives. On montrera des applications et l'on expliquera comment la théorie de Nevanlinna joue un rôle important dans ce cadre. Dans la dernière partie on expliquera une nouvelle théorie analogue à la théorie de Nevanlinna, plus adaptée aux problèmes analytiques.