La transposition informatique d'un algorithme mathématique en un programme informatique suppose la prise en compte des contraintes de la modélisation computable induites par l'utilisation d'ensembles numériques finis aux propriétés réduites (entiers, nombres à virgule flottante). Nous rappelons l'importance d'une transposition informatique correcte à l'aide d'exemples d'algorithmes numériques sur les entiers et les réels.