  Every analytic self-map of the unit ball of a Hilbert space induces a bounded
composition operator on the space of Bloch functions. Necessary and sufficient
conditions for compactness of such composition operators are provided, as well
as some examples that clarify the connections among such conditions.
