Optimisation du code de déduction