Devinette : à combien s’élève la valeur totale verrouillée par la DeFi ?