La noción de fibrado principal se puede extender a la