Chapitre 4: exécution symbolique