il y'a une fonction qui fait la conversion d'un entier vers un chaine caractere en c?