Диссертация : Polyèdres de couvertures de graphes et génération de colonnes