Abstract:
En effet, soit/~. une connexion m~ trique de M dont la distribution horizontale est zln. La structure de trivialisation de~, pour chaque x EM, assure l'existence d'une section locale cr~: U-~ OhM, xE U. Pour n'importe quel uEa~(Ho) u=(A~) u done Tu (O,, M)=(A,) u O (H~),. I1 rdsulte que Tu (a~ c (A,~),@(H~),, c'est-~-dire Fn est 0-plate.