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 des variétés analytiques projectives: les théorèmes de Siegel et de Chow. Autour du théorème de Lefschetz faible. Une introduction à la géométrie formelle. Le théorème d’algébrisation de Grothendieck.