Formalisation d'un Système dynamique d'acquisition (SDA) pour l'Assist — Friedrich & Clement