Bonjour,
Le symbole signifie la partie entière inférieure tandis que le symbole signifie la partie entière supérieure.
Dans le cas de l'algorithme proposé, il faut donc arrondir vers le bas. Si la taille de la liste vaut 5, a vaut 2 avant la boucle Tant que.