Calcul de grands sous-graphes induits à l'aide des séparateurs minimaux et de la logique MSO