Théorie générale et logique des automates — John Von Neumann