Iterations sur des ensembles finis et automates cellulaires contractants