Dans ce cours, nous nous proposons d’expliquer comment des théorèmes d’algébrisation classiques, concernant des variétés ou des faisceux cohérents analytiques, possèdent des avatars en géométrie formelle et en géométrie diophantienne. Nous mettrons l’accent sur les points communs entre les preuves de ces différents théorèmes, et sur leurs conséquences "concrètes" concernant la géometrie et l’arithmétique des variétés algébriques. - Algébrisation de sous-schémas formels de variétés projectives. - Théorèmes de Lefschetz et géométrie formelle: les théorèmes de Grauert et de Grothendieck. - Algébrisation en géométrie diophantienne. - Applications aux feuilletages.