formalisme algébrique