dev1exp:Dvelopper une expression
dev2exp:Dvelopper deux expressions
dev2fact1:Dvelopper un produit de 2 facteurs I
dev2fact2:Dvelopper un produit de 2 facteurs II
factdir1:Factorisation I
factorisat1:Factorisation  tapes I
factorisat2:Factorisation  tapes II
