Dans cet exposé Jean-Jacques Lévy propose de décortiquer quelques algorithmes d'étiquetage des objets dans une image, c'est à dire de segmentation de cette image en régions homogènes, et de regarder en détail la complexité algorithmique d'un tel mécanisme. Cela permet de montrer dans un cas concret, quels formalismes permettent d'analyser les performances d'un algorithme et de vérifier sa validité. On y croise la fonction d’Ackermann dont le rôle est essentiel en informatique théorique.Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique et Objets Numériques à leurs classes de seconde pour l'année scolaire 2009-2010.
Mot(s) clés libre(s) : algorithmique, classe d'équivalence, fonction d’Ackermann, image numérique, objet, pixel, programmation