Cette thèse est consacrée aux systèmes dynamiques holomorphes en dimension complexe 2, et à la théorie des courants laminaires, qui en est issue. Nous étudions la dynamique d'une classe d'applications holomorphes, introduites par Hubbard et Oberste-Vorth, non nécessairement rationnelles, définies au voisinage du bidisque unité, qui sont aux applications de Hénon complexes ce que les applications d'allure polynomiale sont aux polynômes d' une variable. Nous montrons pour ces applications un certain nombre de propriétés dynamiques analogues à celles des difféomorphismes polynomiaux, établies notamment par Bedford, Lyubich, Smillie, Fornæ ss et Sibony: existence de courants positifs fermés invariants ``attractifs'', ainsi que d'une unique mesure d'entropie maximale, décrivant la répartition des points périodiques de type selle. Les courants laminaires, généralisation des ``cycles feuilletés'' de Sullivan, ont été introduits par Bedford, Lyubich et Smillie dans le cadre de l'étude des difféomorphismes polynomiaux de deux variables. Nous développons une théorie générale de ces courants. Premièrement nous donnons un critère géométrique portant sur une suite de courbes planes algébriques de degré tendant vers l'infini pour que ses valeurs d'adhérence au sens des courants soient laminaires, et en déduisons la laminarité du courant dynamique ``de Green'' pour une classe d'applications rationnelles du plan projectif, incluant celle des applications birationnelles. Pour les courants obtenus par ce procédé, nous montrons que l'on peut donner, sous une hypothèse de nature potentialiste, une interprétation géométrique au produit extérieur; nous montrons également que ces courants satisfont une propriété de ``prolongement analytique''. Ceci nous permet de réaliser ces courants comme cycles feuilletés sur une lamination abstraite.

Le produit tensoriel non abélien construit à partir de modules croisés sur un même groupe est en surjection sur le sous-groupe de commutateurs induit par les images des modules croisés. Les factorisations à travers chacun des modules croisés définissent des commutateurs généralisés. Les noyaux associés sont des quotients de groupes de relations entre commutateurs généralisés par des relations universelles. Toute l'homologie d'un groupe peut s'exprimer sous la forme de tels quotients. L'étude des identités vérifiées par le produit tensoriel, de l'exactitude à droite et de l'obstruction à l'exactitude à gauche permet d'expliciter plus ou moins complètement certains de ces quotients et d'établir des liens entre différents groupes de cette forme. Ces questions sont également liées à l'existence de sections compatibles avec les structures de module croisé et à l'éventuelle nullité de morphismes canoniques induits par la suite centrale descendante entre troisièmes groupes d'homologie.