  We show the following algebraicity result for a complex projective variety
$X$ with big representation of $\pi_1$ into a semi-simple algebraic group:
There exists a proper subvariety $Z \subset X$ such that for any algebraic
curve $C$, any holomorphic map $\gamma:\, C \to X$ with $\gamma(C) \not\subset
Z$ is induced from an algebraic morphism. As an application, we prove
pseudo-Brody hyperbolicity of certain varieties with big reductive
representations of $\pi_1$.
