défis de recherche + d'ingénierie de Lean Ethereum