Un cocycle lisse est un produit gauche qui agit par des difféomorphismes dans les fibres. Si les exposants de Lyapounov extremaux du cocycle coincident alors les fibres possèdent certaines structures qui sont invariantes, à la fois, par la dynamique et par un pseudo-groupe canonique de transformations d'holonomie. Nous démontrons ce principe d'invariance pour les cocycles lisses au dessus des difféomorphismes conservatifs partiellement hyperboliques, et nous en donnons des applications aux cocycles linéaires et aux dynamiques partiellement hyperboliques.