The monadic second-order logic of graphs XVI : Canonical graph decompositions (Logical Methods in Computer Science, 2006)