IOTA fait partie des premières cryptomonnaies dont le fonctionnement est basé, non pas sur une chaine de blocs (blockchain), mais sur un graphe orienté acyclique (DAG), appelé Tangle (ou enchevêtrement), dont les nœuds sont les transactions et les arêtes représentent les confirmations. Il existe peu de travaux qui analysent le Tangle et aucun ne modélise la construction du DAG au fil d'une arrivée discrète des transactions. Cet article propose un modèle permet-tant d'analyser le Tangle et le rôle que joue la preuve de travail dans sa sécurité. Notamment, nous prouvons que les acteurs honnêtes doivent produire un nombre de blocs qui correspond à leur puissance de calcul afin d'éviter des attaques similaires à ce qui se fait dans la blockchain, et ce, pour toute méthode de construction du DAG respectant des hypothèses raisonnables.