On examine dans ce travail la propagation des singularités analytiques des solutions de l'équation de Schrödinger à coefficients variables. Nous introduisons, en suivant R. Melrose et J. Wunsch, une compactification de $\mathbb {R}^n$ et une compactification du cotangent. Nous définissons sur ce cotangent un front d'onde analytique par une transformation de FBI. La majeure partie de cet article est consacrée à la preuve de la propagation des singularités analytiques microlocales de ce front d'onde.