Thanks to those who advised on hardware. FSF France has ordered 3x Dell SC1345, bi-Opteron 2212 (dual core 2GHz) with 4GB of RAM and plenty of disk, these should be in place sometimes in june and at least three of the old Pentium 3 Dell will be removed from the farm. OS will likely be debian this time, existing accounts will be maintained (we'll probably need to pack/clean some files for the migration).
Remaining money should be enough to buy an additional bi-Xeon quad core from supermicro (6015V-TLP), order will be passed when I find a vendor who does ship to Paris, France with reasonable delay (if you know who to talk to and who to avoid let me know privately ASAP). Then all the old Dell will be removed from the farm. Instructions and conditions to get an account on the farm here: http://gcc.gnu.org/wiki/CompileFarm Since I've been asked: you can apply for an account even if you're not testing GCC but just testing free software with GCC releases or trunk versions (only constraint on the farm is minimal network bandwidth use). Laurent