La logique des machines numérales — Jean Ville