Conventions -- Definitions and examples -- The relation between barsotti-tate and formal lie groups -- Divided powers, exponentials and crystals -- The crystals associated to barsotti-tate groups -- The deformation theory and applications