Soit $f\colon Y\to X$ un morphisme entre espaces $k$-analytiques. On suppose que $Y$ est purement de dimension $n$ et $X$ purement de dimension $d$. Soit $y\in Y$ tel que $d_{k}(f(y))=d$. La dimension de $f$ en $y$ est alors égale à $n-d$.