HoaLibrary -> CicmLibrary ( + propre)