Détection efficace des traverses minimales d'un hypergraphe par élimination de la redondance.