Mise à jour [ Je viens d'atteindre presque 2X de vitesse avec la génération de preuves distribuées ] Non-Développé (Mac) : 193s → 1.0x (de référence) Cas 1 : 1 Travailleur à distance : 115s → 1.68x plus rapide Cas 2 : Travailleurs (à distance + Mac local) : 101s → 1.90x plus rapide