Compilation de formes canoniques dans des théories équationnelles — Jean Marie Hullot