Log-Sobolev inequalities on the horizontal path space of a totally geodesic foliation