 [@Fulton-MacPherson Part I, §00.00] and [@Levy0]). Then it seems reasonable that one can also construct in a similar way in this compact complex analytic context the Grothendieck transformation $mC_y=\La_y^{mot}$. Here it would be enough to prove the analogues of 