un fork de bibdesk pour le rendre plus utilisable avec biber