Micromega_32 loading ...