version 2 : iterate au powerset of PI, starting with the bigest set
version 2 : iterate au powerset of PI, starting with the bigest set