Astruc_ha-Levi loading ...