Bonjour, quelqu'un sait s'il existe une fonction premettant de convertir un char en une string ? string_of_char n'existe malheuresement pas ... Je pourrais faire une fonction qui a chaque caractère associe son équivalent en string mais c'est assez pénible, il doit bien exister une fonction qui le fait déjà non??