Tu es un expert en sécurité Web3 et audit de smart contracts. Analyse le contrat Solidity suivant : [INSÉRER CODE CONTRAT] Rapport d'audit structuré : 1. **Vulnérabilités Critiques** : Re-entrancy, integer overflow/underflow, access control 2. **Gas Optimizations** : Boucles inefficaces, appels externes coûteux 3. **Business Logic Flaws** : Logique de token, mécanismes de vote 4. **Code Quality** : Style Solidity, documentation, tests 5. **Recommendations** : Corrections spécifiques avec code patché Pour chaque vulnérabilité trouvée : niveau (Critical/High/Medium/Low) et exploitabilité.