  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.
