Cette thèse est consacrée au calcul des solutions formelles d'un système différentiel linéaire méromorphe dans un voisinage de l'origine de c de la forme y(z)=a(z)y(z). Il est bien connu qu'une matrice fondamentale de solutions s'écrit formellement sous forme h(z)=f(z)g(z), ou f(z) est une série formelle en racine de z et g(z) est une matrice de fonctions élémentaires qui constituent des exponentiels polynomiaux en racine de z#1, puissance complexe de z##1, et puissance entière positive de log z. H. L. Turrittin et w. Wasow ont propose une methode algorithmique pour calculer h(z). Cette methode coute chére en calcul. Devant ce fait, nous proposons une nouvelle approche algorithmique pour trouver h(z). Cette approche a l'avantage d'utiliser des transformations simples et moins couteuses en calcul. De plus, notre approche permet de calculer le plus grand degré des polynômes exponentiels qui se trouvent dans la matrice g(z). En pratique, les systèmes a deux dimensions sont importants. Dans ce cas, nous proposons une methode programmable, inspirée de l'approche générale précédente pour calculer les solutions au voisinage d'une singularité

Le travail présente dans cette thèse est un travail algorithmique portant sur deux sujets: solutions formelles des systèmes d'équations différentielles linéaires ordinaires dépendant (ou pas) d'un paramètre et opérations fondamentales pour les opérateurs différentiels. Dans la première partie: nous avons démontre la convergence d'un algorithme et développe un programme en macsyma pour le calcul de la forme de Frobenius et Jordan de matrices holomorphes. Nous avons aussi développé un algorithme et un programme en macsyma pour le calcul de formes de Arnold-Wasow de matrices et systèmes différentiels dépendant d'un paramètre. Grâce a ces algorithmes, l'algorithme de Turrittin-Wasow est adapte au calcul formel pour trouver les solutions formelles de systemes differentiels dépendant d'un paramétré. Nous avons developpe un programme en macsyma pour le calcul de solutions formelles de systèmes différentiels dans un voisinage du point singulier régulier. Dans la deuxième partie: nous avons développe des algorithmes pour des opérations fondamentales sur deux opérateurs différentiels: le plus grand commun diviseur, le plus petit commun multiples, l'algorithme de Bezout, le pseudo-résultant. Nous avons aussi étudie une généralisation directe de la notion de base de Grobner dans l'anneau des opérateurs différentiels a coefficients polynomiaux, i.e. L'algèbre de Weyl