Listes avec Nullstellensatz