forme positive d’une négation