  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.
