The p-adic Simpson correspondence, recently initiated by Gerd Faltings, aims at describing all p-adic representations of the fundamental group of a proper smooth variety over a p-adic field in terms of linear algebra—namely Higgs...