Réduction de Moser des réseaux à connexion.

L'algorithme de Moser (et ses dérivés) est l'un des plus utilisés pour la réduction formelle des systèmes différentiels linéaires. Dans cet exposé, j'expliquerai comment cet algorithme se comprend en termes de réseaux d'un espace vectoriel muni d'une connexion, et je montrerai comment on peut alors faire le lien avec d'autres procédures de réduction (algorithme de Levelt...).