le groupe des difféomorphismes dune variété m de classe ck est le groupe des ck-difféomorphismes de m dans m on le note diff km ou diffm quand k est implicite il est « gros » au sens où il nest pas localement compact sauf si m est de dimension 