Poincare's Polyhedron Theorem is a widely known valuable tool in constructing manifolds endowed with a prescribed geometric structure. It is one of the few criteria providing discreteness of groups of isometries. This work contains a version of Poincare's Polyhedron Theorem that is applicable to constructing fibre bundles over surfaces and also suits geometries of non-constant curvature. Most conditions of the theorem, being as local as possible, are easy to verify in practice.o TEXTO COMPLETO DESTE ARTIGO, ESTARÁ DISPONÍVEL À PARTIR DE AGOSTO DE 2015.542297308Institut des Hautes Etudes Scientifiques