Documents Cours Practical verification of MSO properties of graphs of bounded clique width Irène Durand