Ajout de l'operateur NOT
Ajout d'une preferred size pour le from