Tentative d'optimisation du résolveur