Could anyone give a reference for the following statement, which I believe is true.
"Let X be a regular scheme, flat over $Spec( \mathbb{Z}) $, with fiber dimension $1$. Then the Chow group $CH^2(X)$ is finite."
Could anyone give a reference for the following statement, which I believe is true. "Let X be a regular scheme, flat over $Spec( \mathbb{Z}) $, with fiber dimension $1$. Then the Chow group $CH^2(X)$ is finite." 


The finiteness is known; see Szamuely's Seminaire Bourbaki expose and Remarque 3.4 (5) on page 11 is a precise reference. 

