Linux en forte hausse au niveau mondial, mais en baisse en Europe