Sur la deuxième définition des ensemble finis donnée par Dedekind