Documents Sciences formelles Étude et conception d'opérateurs arithmétiques [1cm] Habilitation à diriger les recherches Université Arnaud Tisserand