Outils et aides à la réparation pour Galaxy Alpha