Pour son indépendance numérique, l'État français souhaite passer à Linux