I'm looking for a reference or a proof of the following statement :

Let $M$ be a compact smooth manifold with boundary, the space of embeddings $\partial M\times[0,1]\to M$ inducing the identity $\partial M\times\{0\}\to \partial M$ is contractible.