Correspondencia entre álgebras de Lie y teoría de grupos (correspondencia entre grupos de Lie y álgebras de Lie)