Well eventually after much trouble we found out that our machines came equipped with AthlonXPs instead of AthlonMPs, causing some instability (random CPU MP detection) at boot in some "heavy" hardware configurations. Our vendor tried to save a mere 1.1 KEUR by doing this illegal trick. We had them replaced, and the machines are now much more stable.