Vitalik Buterin présente « Lean Ethereum », une refonte majeure du protocole