il faut peut être mettre t[k+p]:=aux après k:=k-p
et faire tourner le programme en mode débogage pour vérifier que la boucle s'exécute correctement.