Version 2 : iterate on powerset of PI, starting by the biggest set