Abstract. In this paper we investigate the exact controllability of n × n first order quasilinear 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 are not anymore the same, we see that we encounter the problem of loss of derivatives if we try to control quasilinear systems with a reduced number of controls. To solve this problem, as in a prior article by J.-M. Coron and P. Lissy on a Navier-Stokes control system, we first use the notion of algebraic solvability due M. 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 M. Gromov in order to handle the problem of loss of derivatives.Key words. Quasilinear hyperbolic systems, exact internal controllability, controllability of systems, algebraic solvability.AMS subject classifications. 35L50, 93B05, 93C10.1. Introduction. In this paper we investigate the exact controllability of n × n first order quasilinear hyperbolic systems by m < n internal controls that are localized in space in some part of the domain. While the controllability of quasilinear hyperbolic systems by boundary controls has been intensively studied, [Cir69, LR02, LR03, Wan06, Zha09, LRW10], to our knowledge there are no equivalent results for the internal controllability. On the other hand, the controllability of systems of PDEs with a reduced number of controls has been a challenging problem for the last decades, see for instance [AB03, ABL12, AB13, DLRL14 Navier-Stokes equations. Let us also point out that, in many of these articles, the general strategy is to start with a controllability result in the case where there are as many controls as the number of equations and then to try to remove some of these controls by a suitable procedure. We also follow this general strategy here.In [LR03], the authors introduced a constructive method to control quasilinear systems of n equations by n boundary controls. This proficient method is based on existence and uniqueness results of semi-global solutions [LJ01] (i.e. with large time and small data) that they apply to several mixed initial-boundary value problems, using also the equivalent roles of the time and the space. As we shall see below, using a method of extension of the domain (as it is often used in the parabolic framework), we can recover this result for the internal controllability, that is we can prove the controllability of n × n quasilinear systems by n internal controls. The situation is more complicated when we have less controls than ...