Algorithmique algébrique — Claude Quitté, Patrice Naudin