Commutators of diffeomorphisms