lSpace A non regular Fr\"olicher Lie group of diffeomorphisms (history)

January 13, 2011