En suivant ce lien : http://www.top500.org/overtime/list... il faut se demander ce qu'ils mettent dans "Others" ? Car si dans "Others" c'est Windows, je débouche le champagne ! :D