Jouer un peu est une activité parfaitement honorable, je voulais juste en arriver à dire (il y aurait y avoir d'autres points qui surgissent) que "sans aucune implémentation formelle", vous ne ferez pas du Peano (ce n'est pas un reproche) et que si vous vous êtes amusé, ce n'était pas du temps perdu.
-----