Systèmes d'équations à coefficients entiers