Ajout des raisonnements avec suppositions, ajout de getters pour
simplifier les opérations booleennes