résoudre par réduction