Seminar on Kac-Moody algebras and ind-pro-topologies