Warning quand des programmes différents donnent des estimations différentes de productivité
Disucté avec @flothoni : pour contourner ou au moins prendre en compte #2526, on pourrait avoir un warning quand on a deux estimations de productivité différentes.