Group-schemes and formal group-schemes