Un redémarrage du serveur d'impression est nécessaire afin de corriger un problème affectant une partie du parc des imprimantes. Le tout devrait être de retour avant 9h30.