Exponential map in Lie theory