La technologie disruptive née en 2008 avec Bitcoin et connue sous le nom de blockchain représente un saut qualitatif important par rapport à la technologie des bases de données distribuées. La théorie des systèmes distribués fournit alors des modèles et des techniques pour analyser certains protocoles caractérisant la technologie, cependant afin d’analyser un système blockchain des considérations supplémentaires sur ses utilisateurs doivent être faites. Cette thèse vise à analyser les différents comportements des utilisateurs opérant dans les blockchains ou plus largement dans les DLTs (i.e., Distributed Ledger Technologies). Ces derniers sont considérés comme des agents rationnels, pleinement conscients de toutes les actions à leur disposition et capables de choisir celle qui leur semble la meilleure pour eux-mêmes. La théorie des jeux est alors utilisée pour modéliser des situations o`u les utilisateurs sont appelés à choisir et à effectuer certaines actions dans l’environnement DLT. Cette thèse analyse différents utilisateurs ainsi que différentes blockchains dans le but de fournir une vue d’ensemble sur le sujet et des résultats formels sur leurs comportements ; les utilisateurs peuvent en effet être honnêtes vis-`a-vis des autres utilisateurs ou se comporter de manière malveillante (comme des noeuds byzantins) en attaquant le système blockchain.