France is replacing 2.5 million Windows desktops with Linux