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.