Soit 
 un anneau de valuation discrète de mixte caractéristique, de corps résiduel parfait. Soit 
 un schéma propre lisse sur 
. Le théorème de comparaison cristalline prédit une relation profonde entre la cohomologie étale 
-adique de la fibre générique de 
 et la cohomologie cristalline de la fibre spéciale de 
. Basé sur la méthode presqu'étale de Faltings, ce théorème est premièrement démontré par Faltings, puis re-démontré par Andreatta-Iovita lorsque 
 est absolument non ramifié. Dans cet exposé, en combinant des idées récentes de Scholze, on présente la preuve d'Andreatta-Iovita dans le langage d'espaces perfectoids de Scholze. Ceci est basé sur un projet en cours avec F. Tan.