Modification des resultats pour remplacer la mesure avec 12 workers par 9 workers