Il me semble qu'il faut distinguer dans l'équation plusieurs choses et que cette distinction n'est pas faite ou pas claire. 1/ il y a une formule qui n'est définie à priori que pour des variables dans un certain domaine indépendant de l'égalité. Le "domaine de définition" dont il s'agit estil le domaine d'existence commun aux deux membres de la formule ?