Francia
Les itérations chaotiques, un outil issu des mathématiques discrčtes, sont pour la premičre fois étudiées pour obtenir de la divergence et du désordre. Aprčs avoir utilisé les mathématiques discrčtes pour en déduire des situations de non convergence, ces itérations sont modélisées sous la forme d'un systčme dynamique et sont étudiées topologiquement dans le cadre de la théorie mathématique du chaos. Nous prouvons que leur adjectif « chaotique » a été bien choisi: ces itérations sont du chaos aux sens de Devaney, Li-Yorke, l'expansivité, l'entropie topologique et l'exposant de Lyapunov, etc. Ces propriétés ayant été établies pour une topologie autre que la topologie de l'ordre, les conséquences de ce choix sont discutées. Nous montrons alors que ces itérations chaotiques peuvent ętre portées telles quelles sur ordinateur, sans perte de propriétés, et qu'il est possible de contourner le problčme de la finitude des ordinateurs pour obtenir des programmes aux comportements prouvés chaotiques selon Devaney, etc. Cette maničre de faire est respectée pour générer un algorithme de tatouage numérique et une fonction de hachage chaotiques au sens le plus fort qui soit.
