Un mot imbriqué (en anglais ), notion proposée par Rajeev Alur et Parthasarathy Madhusudan, est un objet doté d`une double structure : d`un côté, c`est une chaîne de caractères, comme dans l`usage traditionnel de la modélisation de structures totalement ordonnées, d`un autre côté, c`...