Je parlerai d'un théorème de Grothendieck sur la cohomologie de De Rham, qui assure qu'on peut calculer la cohomologie complexe d'une variété lisse comme sa cohomologie de De Rham algébrique.