finally fix sign_extend() + boucle.o test