Renomer le package de Giac et Adrien