La vérification formelle est une partie essentielle de Lean Ethereum. Voici une explication