Lancement du mainnet de Tezos