@Override
public Formule entrerDisjonctions() {
if (fg.contientEt()) return fg.oudroite(fd.entrerDisjonctions());
if (fd.contientEt()) return fd.entrerDisjonctions().ougauche(fd);
return this;
}
@Override
public Formule oudroite(Formule g) {
return fd.oudroite(fg.oudroite(g));
}