Integration by parts and quasi-invariance for the horizontal Wiener measure on a foliated compact manifold

We prove several versions of Driver's integration by parts formula for the horizontal Wiener measure on a totally geodesic Riemannian foliation and prove that the horizontal Wiener measure has a quasi-invariance property with respect to flows generated by suitable tangent processes.