We first define the trace on a domain omega which is definable in an o-minimal structure. We then show that every function u is an element of W1,p(omega) vanishing on the boundary in the trace sense satisfies Poincare ' inequality. We finally show, given a definable family of domains (omega t)t is an element of Rk , that the constant of this inequality remains bounded, if so does the volume of omega t .