Dans cette thèse, nous étudions une classe d'hypersurfaces de $\mathbb{C}^3$, dites \emph{hypersurfaces de Danielewski}. Ce sont les hypersurfaces $X_{Q,n}$ définies par une équation de la forme $x^ny=Q(x,z)$ avec $n\in\mathbb{N}_{\geq1}$ et $\deg_z(Q(x,z))\geq2$. Nous établissons leurs classifications complètes à isomorphisme près, et à équivalence via un automorphisme de $\mathbb{C}^3$ près. Pour cela, nous introduisons le concept de forme standard et montrons que toute hypersurface de Danielewski est isomorphe, par un procédé algorithmique, à une hypersurface sous forme standard. Cette terminologie est justifiée par le fait que tout isomorphisme entre deux formes standards s'étend en un automorphisme de l'espace ambiant (ce qui n'est pas<br>vrai pour des hypersurfaces de Danielewski quelconques).<br>Nous étudions aussi les problèmes de l'équivalence stable et de l'équivalence analytique. Nous construisons notamment des exemples de polynômes $P,Q\in\mathbb{C}[x,y,z]$ pour lesquels il n'existe aucun automorphisme algébrique de $\mathbb{C}[x,y,z]$ qui envoie $P$ sur $Q$, bien que ces polynômes soient équivalents via un automorphisme de $\mathbb{C}[x,y,z,w]$.<br>La plupart de ces résultats reposent sur la description précise, grâce aux techniques développées par Makar-Limanov, des dérivations localement nilpotentes sur les algèbres des fonctions régulières des hypersurfaces $X_{Q,n}$.

Pour une variété affine S définie sur un corps k de caracteristique nulle, il y a une correspondence bijective entre les actions algébriques du groupe additif k+=(k,+) sur S et les dérivations localement nilpotentes de l'algèb re des fonctions régulières sur S. Dans cette thèse, nous transposons cette équi valence entre actions et dérivations à la situation plus générale où π:S → X est un schéma de base X donnée, admettant des actions d'un fibré en droites p:L → X sur X. Nous étudions en détail une sous-classe de schémas S de ce type, ayant la propriété d'être muni d'une structure de fibré principal homogène sous l'action d'un second fibré en droites p':L' → Y sur un X-schéma δ:Y → X, de telle sorte que l'action de δ*L sur S se factorise via celle de L'. Nous les appelons schémas de Danielewski-Fieseler. Nous donnons plusieurs procédés de construction de ces schémas. En particulier, lorsque X est affine, nous décrivons un algorithmique permettant d'obtenir des plongements explicites d'un schéma de ce type dans un espace affine relatif de base X. Dans un second temps, nous étudions la situation où le schéma de base X est une droite affine sur un corps k de caractéristique nulle. Dans ce cas, nous établissons qu'un sc héma de Danielewski-Fieseler X est déterminé de manière unique par la donnée combinatoire d'un arbre pondéré. Nous donnons une classification de ces schémas en fonction des arbres associés. Finalement, nous caractérisons les schémas de ce type qui admettent plusieurs actions du groupe additif k+ avec orbites générales distinctes.

Une T-variété est une variété algébrique munie d'une action effective d'un tore algébrique T. Cette thèse est consacrée à l'étude de deux aspects des T-variétés normales affines : les actions du groupe additif et la caractérisation des singularités. Soit X = Spec A une T-variété affine normale et soit D une dérivation homogène localement nilpotente de l'algèbre affine intègre Z^n-graduée A, alors D engendre une action du groupe additif dans X. On donne une classification complète des couples (X, D) dans trois cas : pour les variétés toriques, dans le cas de complexité un, et dans le cas où D est de type fibre. Comme application, on calcule l'invariant de Makar-Limanov (ML) homogène de ces variétés. On en déduit que toute variété d'invariant de ML trivial est birationnelle à Y × P^2 , pour une certaine variété Y . Inversement, pour toute variété Y , il existe une T-variété affine X d'invariant de ML trivial birationnelle a Y × P2. Dans la seconde partie concernant les singularités d'une T-variété X, on calcule les images directes supérieures du faisceau structural d'une désingularisation de X. Comme conséquence, on donne un critère pour qu'une T-variété ait des singularités rationnelles. On présente aussi une condition pour qu'une T-variété soit de Cohen-Macaulay. Comme application, on caractérise les singularités elliptiques des surfaces quasi-homogènes.