A strong hyperbolicity property of locally symmetric varieties
Also appears in collection : Exposés de recherche
We show that all subvarieties of a quotient of a bounded symmetric domain by a sufficiently small arithmetic group are of general type.