Baker--Campbell--Hausdorff Local Lie Group Law