InformatiqueL’État dépense 100 millions d’euros par an pour sa bureautique, dont l’essentiel va à Microsoft2 novembre 2026