Si on par du principe qu'un trait est un ensemble de point, alors quelque soit le nombre de point de cet ensemble, on aurat toujours un trait, on efface d'abord
3trait, puis 3, puis 5, puis 7, puis encore 3...
Et hop, c'est fini..
"oui mais 3+3+7+5+=21"
a, zut, et si on enlève 2.5 a un moment, on aurat retiré un trait, et on aurat créé un "nouveau trait" pour en avoir un 21eme, et ainsi, on aurat effacé 20 trait, en en créant un nouveau...
bon, j'aurais tenté