Arduino Leonardo problème de compilation/uploading sous linux

C'est déjà plus à jour (1.0.1) dans les dépots Debian :

(pas encore testé , mais 1.0.1 apporte la prise en charge de Leonardo)