Caractérisation et Négation