Ethereum prend des mesures formelles pour aborder les risques de l'informatique quantique