Transformations algébriques dans la conception des algorithmes