little modif with new names
remove a redefinition
added quicksort (needs verit, alt-ergo, cvc3 & 4 )