In this paper we investigate the exact controllability of n x n first order one-dimensional quasi-linear hyperbolic systems by m < n internal controls that are localized in space in some part of the domain. We distinguish two situations. The first one is when the equations of the system have the same speed. In this case, we can use the method of characteristics and obtain a simple and complete characterization for linear systems. Thanks to a linear test this also provides some sufficient conditions for the local exact controllability around the trajectories of semilinear systems. However, when the speed of the equations is not the same, we see that we encounter the problem of loss of derivatives if we try to control quasi-linear systems with a reduced number of controls. To solve this problem, as in a prior article by Coron and Lissy on a Navier-Stokes control system, we first use the notion of algebraic solvability due to Gromov. However, in contrast with this prior article where a standard fixed point argument could be used to treat the nonlinearities, we use here a fixed point theorem of Nash-Moser type due to Gromov in order to handle the problem of loss of derivatives.