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.
Comment: This result was presented by Fernando Alcalde at the conference Foliations 2014, that took place in Madrid, Spain, in September 2014