Les Sleepers: une technique d'implémentation de haut niveau pour contrôler le processus de démonstration.