Ajout des raisonnements avec suppositions