U16ToU8 = fun [ S _src_ ]S Convertit une chaîne UTF-16 en chaîne UTF-8.
_src_ Chaîne source
Chaîne encodée.
strlen8 strlen16 LatinToU8 U8ToLatin LatinToU16 U16ToLatin U8toU16