In the talk I will introduce the crystalline site of a variety in positive characteristic, discuss the notion of crystals and isocrystals over it and define its crystalline fundamental group. I will then discuss Berthelot's conjecture and its relation with the exactness of the homotopy sequence of a fibration.