SMS dit: Global theory of connections and holonomy groups