Title: Construction de sous-systèmes utilisant une machine abstraite