Bitcoin de Stefan Thomas : L’analyse mathématique d’un problème de mot de passe à 220 millions de dollars