Résolution par la méthode de réduction