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