[rha, !slap hippopocross ]
ben la définition d'infini dénombrable c'est qu'il existe une bijection entre ton ensemble et N, et ça à partir du bon ordre sur N ça te définit clairement un bon ordre sur ton ensemble non ?