INFINITE DIMENSIONAL LIE GROUPS IN...