Une nouvelle preuve mathématique de la robustesse de Bitcoin