Pour les équations différentielles ordinaires linéaires d'ordre 2 et 3, des algorithmes de résolution exacte avec des temps de calcul réalistes existent, se fondant sur une étude préalable précise des groupes de Galois différentiels potentiels de ces équations. Plusieurs études de l'ordre 4 ont déjà eu lieu mais ne concernaient qu'un aspect particulier de la classification des groupes. Dans cette thèse, on donne les bornes optimales pour le degré du polynôme minimal des dérivées logarithmiques des solutions liouvilliennes de telles équations (travail commun avec D. Boucher et F. Ulmer) puis on présente une stratégie algorithmique de recherche du groupe de Galois différentiel d'une équation en connaissant ses semiinvariants de degré 2 et 4, obtenue après avoir en particulier complété les travaux précédents par les cas imprimitif-monomial de la classification des groupes. On trouve alors plus efficacement des semi-invariants produits de formes linéeaires. Dans le chapitre 4 de cette thèse, on s'intérresse aux chutes d'ordre de la puissance symétrique quatrième d'une équation. Plus précisément, on montre qu'une chute d'ordre de un implique l'existence d'au moins un semi-invariant de degré 4, ce qui permet d'obtenir des informations sur le groupe de l'équation. En cas de chute d'ordre de deux et plus, des conditions de finitude du groupe sont données par un théorème de M.F. Singer. Dans le chapitre 5, on traite deux exemples. Dans le premier, on applique la stratégie algorithmique décrite dans le chapitre 3 en vue de trouver le groupe de Galois diff érentiel d'une équation dont on calcule ensuite les solutions (à l'aide d'une méthode décrite par F. Ulmer). Le second est un exemple de résolution du problème inverse pour le groupe SO(4, C) à l'aide de la méthode décrite par C. Mitschi et M.F. Singer (équation qui n'admet donc pas de solutions liouvilliennes). On trouvera en annexe la liste explicite des semiinvariants de degré 2 et 4 des sous-groupes monomiaux de SL(4, C).

Dans cette thèse, nous nous intéressons aux sous-groupes profinis et pro-p d'un groupe algébrique linéaire connexe défini sur un corps local. Dans le premier chapitre, on résume brièvement la théorie de Bruhat-Tits et on introduit les notations nécessaires à ce travail. Dans le second chapitre, on trouve des conditions équivalentes à l'existence de sous-groupes compacts maximaux d'un groupe algébrique linéaire G connexe quelconque défini sur un corps local K. Dans le troisième chapitre, on obtient un théorème de conjugaison des sous-groupes pro-p maximaux de G(K) lorsque G est réductif. On décrit ces sous-groupes, de plus en plus précisément, en supposant successivement que G est semi-simple, puis simplement connexe, puis quasi-déployé. Dans le quatrième chapitre, on s'intéresse aux présentations d'un sous-groupe pro-p maximal du groupe des points rationnels d'un groupe algébrique G semi-simple simplement connexe quasi-déployé défini sur un corps local K. Plus spécifiquement, on calcule le nombre minimal de générateurs topologiques d'un sous-groupe pro-p maximal. On obtient une formule linéaire en le rang d'un certain système de racines, qui dépend de la ramification de l'extension minimale L=K déployant G, explicitant ainsi les contributions de la théorie de Lie et de l'arithmétique du corps de base. / In this thesis, we are interested in the profinite and pro-p subgroups of a connected linear algebraic group defined over a local field. In the first chapter, we briefly summarize the Bruhat-Tits theory and introduce the notations necessary for this work. In the second chapter we find conditions equivalent to the existence of maximal compact subgroups of any connected linear algebraic group G defined over a local field K. In the third chapter, we obtain a conjugacy theorem of the maximal pro-p subgroups of G(K) when G is reductive. We describe these subgroups, more and more precisely, assuming successively that G is semi-simple, then simply connected, then quasi-split in addition. In the fourth chapter, we are interested in the pro-p presentations of a maximal pro-p subgroup of the group of rational points of a quasi-split semi-simple algebraic group G defined over a local field K. More specifically, we compute the minimum number of generators of a maximal pro-p subgroup. We obtain a formula which is linear in the rank of a certain root system, which depends on the ramification of the minimal extension L=K which splits G, thus making explicit the contributions of the Lie theory and of the arithmetic of the base field.