formalisation algébrique