Let M be a pinched negatively curved Riemannian manifold, whose unit
tangent bundle is endowed with a Gibbs measure mF associated to a potential
F. We compute the Hausdorff dimension of the conditional measures of mF.
We study the mF-almost sure asymptotic penetration behaviour of locally
geodesic lines of M into small neighbourhoods of closed geodesics, and of
other compact (locally) convex subsets of M. We prove Khintchine-type and
logarithm law-type results for the spiraling of geodesic lines around these
objects. As an arithmetic consequence, we give almost sure Diophantine
approximation results of real numbers by quadratic irrationals with respect to
general H\"older quasi-invariant measures