Merge tag 'upstream/3.0.1'

Upstream version 3.0.1

# gpg: Signature faite le ven. 29 août 2014 09:06:04 CEST avec la clef RSA d'identifiant 39CD217A
# gpg: Bonne signature de « Cédric Boutillier <boutil@debian.org> »
# gpg:                 alias « Cédric Boutillier <cedric.boutillier@upmc.fr> »
# gpg:                 alias « Cédric Boutillier <cedric.boutillier@polytechnique.org> »
# gpg:                 alias « Cédric Boutillier <cedric.boutillier@gmail.com> »