Correction de bug sur les résiduels, l'algo de Moore et les arbres d'expressions rationnelles