Algebraic groups : the theory of group schemes of finite type over a field