Faire une conjecture sur les formules racine(a*b) et racine(a)*racine(b)