lorsque la variété est compacte la topologie forte sur le groupe des difféomorphismes coïncide avec la faible lorsquelle ne lest pas la forte rend compte du comportement « à linfini » des fonctions et nest plus métrisable mais elle est encore de baire