mutable

I had never encountered the \'mutable\' modifier so far in C++ code ... yet it seems preferable to use over const_casts ... I wonder how I could have missed it for so long ... Because I happen to have some const_casts in libgeds. I\'ll have to give it a closer look.