public static int CCNST( Object o ) { // CARE !! J'arrive pas a changer ce !@?# type dans intext et symbol return ((cnst)o).value; }