Dans cet exposé, on discutera un résultat récent obtenu en collaboration avec Caroline Lasser et Didier Robert. Il s’agit de la construction d’approximations du propagateur associé à un opérateur de Schrödinger semi-classique matriciel. La méthode utilisée repose sur l’utilisation de paquets d’onde gaussiens et notre résultat justifie les méthodes numériques de « multiple spawning » utilisées en chimie quantique.