modif de CombinatorManager