Compact factorization of differentiable mappings