void Succ (char * ch){
if (Dernier(ch) == '9'){
// Debut(ch) : délivre ch privée de son dernier élément
Succ(Debut(ch));
// AjoutF(ch, c) : délivre ch à laquelle on a rajouté à la fin de ch
AjoutF(ch, '0');
}else{
// Dernier(ch) : délivre le dernier caractère de ch
int n = int(Dernier(ch));
n++;
//Carat(n) : int -- char
AjoutF(Debut(ch), Carat(n));
}
}