After switching 37,000 PCs to Ubuntu, French Armed Forces says open source cuts costs 40 percent