Modélisation d'une image

On adopte une modélisation discrète de l'image : une image est une application de (un ensemble isomorphe à) $\{0..n\}\times\{0..m\}$ dans (un ensemble isomorphe à) $\{0..k\}$. Pour être clair, pour une image $800\times600$ à 256 niveau de gris, $n=599$, $m=799$ et $k=255$.