Optimisation des 🌀 via l'Automatisation