ajout debian packaging