La théorie du transport électronique dans un solide cristallin est souvent présentée aux doctorants au moyen d'une équation semi-classique, qui est une équation cinétique classique amendée par des éléments de physique quantique d'une manière non systématique. Cette alliance d'éléments classiques et quantiques rend compte de nombreux aspects du transport électronique, sauf quelques uns observés sur de courtes distances. Pour qui est familier de la mécanique quantique du solide, il est préférable de dériver l'équation semi-classique de la dynamique quantique pour identifier les défauts et les approximations qui sous-tendent l'image semi-classique du transport. Cet article explore le chemin qui mène de la dynamique quantique à la cinétique semi-classique dans le cadre d'un modèle simplifié à la portée d'un doctorant de physique ou d'ingéniérie électronique. Dans ce modèle, un électron se déplace dans le cristal sous les influences du potentiel périodique cristallin, d'un champ électrostatique extérieur et d'un ensemble d'imperfetions de réseau réparties au hasard dans le volume du cristal. La première influence est traitée exactement au moyen de la théorie standard des bandes d'énergie et les deux autres sont abordées comme des perturbations. En suivant un procédé déjà éprouvé dans le vide, on remplace la fonction d'onde de Schrödinger définie dans l'espace des positions par une fonction de Wigner définie dans l'espace des phases (positions et pseudo-impulsions) de la cinétique semi-classique. L'équation dynamique régissant la fonction de Wigner est transformée et approximée de façon à retrouver l'équation semiclassique du transport. Les erreurs commises dans cette dernière sont évaluées de manière quantitative. On explique comment une équation d'évolution irréversible -portant sur l'occupation en phase-découle de la dynamique réversible de Schrödinger -portant sur une amplitude de probabilité complexe. Outre qu'il clarifie le fondement de l'image semi-classique du transport électronique et qu'il fournit une correction explicite de cohérence quantique, l'article peut être utile en physique générale en montrant, sur un problème concret, les relations mutuelles entre les concepts classiques et quantiques.