Je dois refactoriser mon code Terraform. J'ai déplacé une ressource `aws_instance.web` vers un module `module.web_server`. Explique-moi comment utiliser la commande `terraform state mv` pour migrer l'état sans détruire/recréer la ressource. Donne la commande exacte et explique comment vérifier le résultat.