Une Logique Système qui intègre la séquence du code du langage machine