Linux serait 40 % moins dispendieux que Windows