Reimplementation des methodes conjunction(List<AbstractFormula>) et disjunction(<AbstractFormula>)
Ainsi que leurs tests