modif de l export dans install
ajout libSage