We study in these notes the algebraic properties of groups of holomorphic local diffeomorphisms. In this spirit we introduce the basic notions of the theory of pro-algebraic groups. Pro-algebraic groups are the analogue ...