letrec, aux ?

Version imprimable