Ebooks Sciences formelles Théorie générale et logique des automates John Von Neumann, Gérard Chazal, Jean-Paul Auffrand