Branche 'debian'

Voici la branche debian, qui vient compléter la branche master pour la fabrication du paquet Debian via la commande 'git-buildpackage'.