Infinite Dimensional Lie Groups For Physics