effectivité d’un algorithme