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.

