\section{Maps indexed by binary integers : IntMap}\label{IntMap}

This library contains a data structure for finite sets implemented by
an efficient structure of map (trees indexed by binary integers).
It was initially developed by Jean Goubault.