I'm looking for a reference or a proof of the following statement :
Let $M$ be a compact smooth manifold with boundary,. Then the space of embeddings $\partial M\times[0,1]\to M$ inducing the identity $\partial M\times\{0\}\to \partial M$ is contractible.