Modélisation mathématique de la complexité temporelle des algorithmes