Playing La Machine d'arithmétique - Blaise Pascal