Faug`ere, `R'esolution des syst`emes d"equations alg'ebriques (1994)