validité d’un algorithme