Tu écris un postulat AsDigit qui teste si un atome contient un chiffre ou non.
Dans ton interprète il doit y avoir en standard une fonction explode ou un truc du genre qui transforme les atomes...