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.