Démonstration de not() :