Minimality of the horocycle flow on laminations by hyperbolic surfaces with non-trivial topology

We consider a minimal compact lamination by hyperbolic surfaces. We prove that if it admits a leaf whose holonomy covering is not topologically trivial, then the horocycle flow on its unitary tangent bundle is minimal.