Section Header
    + name := Expanded CHAR_UNICODE -> UINTEGER_16;
    - comment := "Static Unicode Character library .";
    - type := `unsigned short`;
    - default := '\0';
Section Insert
    - parent_character_ref:CHARACTER_REF :=
Section Public
    - in_range low:CHAR_UNICODE to up:CHAR_UNICODE :BOOLEAN <-
General :
    - object_size:INTEGER :=
    - pointer_size:INTEGER :=
    - maximum:INTEGER :=
    - minimum:INTEGER :=
- '==' other:CHAR_UNICODE :BOOLEAN <- (code == other.code); BSBS=> JBJB A revoir
    - to_uinteger_16:UINTEGER_16 <-
        Auto-cast
- print <- to_uinteger_16.print; BSBS-> JBJB a revoir !!
    - to_integer:INTEGER <-
        Sign-extended conversion.
    - code:INTEGER_8 <-
        ASCII code of Current.
        No Sign-extended conversion.
Print.
    - print <-
Switch case :
    - when value:CHAR_UNICODE then block:BLOCK :CHAR_UNICODE <-
    - when first_value:CHAR_UNICODE to last_value:CHAR_UNICODE then block:BLOCK :CHAR_UNICODE <-
Binary operator :
    - '+' other:CHAR_UNICODE :CHAR_UNICODE <-
    - '-' other:CHAR_UNICODE :CHAR_UNICODE <-
    - '!==' other:CHAR_UNICODE :BOOLEAN <-
        Comparison using `code'.
    - '==' other:CHAR_UNICODE :BOOLEAN <-
        Comparison using `code'.
    - '<' other:CHAR_UNICODE :BOOLEAN <-
        Comparison using `code'.
    - '<=' other:CHAR_UNICODE :BOOLEAN <-
        Comparison using `code'.
    - '>' other:CHAR_UNICODE :BOOLEAN <-
        Comparison using `code'.
    - '>=' other:CHAR_UNICODE :BOOLEAN <-
        Comparison using `code'.
    - decimal_value:INTEGER <-
        Gives the value of a decimal digit.
    - binary_value:INTEGER <-
        Gives the value of a binary digit.
    - octal_value:INTEGER <-
        Gives the value of an octal digit.
    - hexadecimal_value:INTEGER <-
        Gives the value of an hexadecimal digit.
    - same_as other:CHAR_UNICODE :BOOLEAN <-
        Case insensitive comparison.
        No difference between upper/lower case letters.
    - to_upper:CHAR_UNICODE <-
        Conversion to the corresponding upper case.
    - to_lower:CHAR_UNICODE <-
        Conversion to the corresponding lower case.
    - is_letter:BOOLEAN <-
        Is it a letter ('a' .. 'z' or 'A' .. 'Z') ?
    - is_digit:BOOLEAN <-
        Belongs to '0'..'9'.
    - is_binary_digit:BOOLEAN <-
        Belongs to '0'..'1'.
    - is_octal_digit:BOOLEAN <-
        Belongs to '0'..'7'.
    - is_hexadecimal_digit:BOOLEAN <-
        Is it one character of "0123456789abcdefABCDEF" ?
    - is_lower:BOOLEAN <-
        Is it some lowercase letter ('a'..'z')?
    - is_upper:BOOLEAN <-
        Is it some uppercase letter ('A'..'Z')?
    - is_separator:BOOLEAN <-
        True when character is a separator.
    - is_letter_or_digit:BOOLEAN <-
        Is it a letter (see `is_letter') or a digit (see `is_digit') ?
    - is_ascii:BOOLEAN :=
        Is character a 8-bit ASCII character?
    - is_bit:BOOLEAN <-
        True for `0' and `1'.
    - next:CHAR_UNICODE <-
        Give the next character (the following `code');
    - previous:CHAR_UNICODE <-
        Give the previous character (the `code' before);
Conversions:
    - to_hexadecimal:STRING <-
        Create a new STRING giving the `code' in hexadecimal.
        For example :
        (255).to_character.to_hexadecimal gives "FF".
        Note: see `to_hexadecimal_in' to save memory.
    - to_hexadecimal_in str:STRING <-
        Append the equivalent of `to_hexadecimal' at the end of
        `str'. Thus you can save memory because no other
        STRING is allocate for the job.
Miscellaneous:
    - is_alpha:BOOLEAN <-
        See `is_letter' (yes this is just a call to `is_letter').
        Isn't `is_letter' better English ;-)
Hashing :
    - hash_code: INTEGER <-