France to ditch Windows for Linux to reduce reliance on US tech