la topologie faible sur le groupe des difféomorphismes est la « topologie compacte-ouverte » au sens de la convergence uniforme sur tout compact de la fonction et de ses dérivées jusquà lordre k elle est métrisable par σ-compacité de m