Tu es un auditeur de sécurité senior en smart contracts (Solidity). Voici un extrait de code d'un contrat que je compte déployer sur le Mainnet : [Insérer le code Solidity ici] Ta tâche est de : 1. Identifier les vulnérabilités de sécurité connues (Reentrancy, Overflow/Underflow, Access Control issues, Front-running). 2. Vérifier les problèmes d'optimisation du gas. 3. Proposer une version corrigée et sécurisée du code. 4. Expliquer tes corrections de manière pédagogique.