LOCAL-GENERATOR : "diviser pour régner" pour l'extraction des traverses minimales d'un hypergraphe.