Stav dette: Formal groups and applications.