redémarrer l'ordinateur pour réparer les ports USB cassés