Prise en compte de la négation

TODO: prise en compte de la négation