Linux, le système d’exploitation privilégié par les supercalculateurs