Bonjour

la distributivité est définie par l'égalité suivante : 

                (1)       a.(b+c) = (a.b) + (a.c)

ceci est équivalent à dire

                (2)      (a.b) + (a.c)= a.(b+c).

L'égalité (2) est ce qu'on appel la factorisation (mis en facteur commun) qui est exactement l'opération inverse de la distributivité.

lorsque je passe de cette expression (X.1)+(X.Y) vers cette expression x.(1+Y), en réalité j'ai effectué une factorisation (mise en facteur commun de la variable x).

Je suis tout à fait d'accord avec vous, peut être j'aurais du parler de factorisation au lieu de distributivité bien que d'un point de vu axiomatique, la factorisation et la distributivité sont familières.