Merge tag 'upstream/2.5.5'

Upstream version 2.5.5

# gpg: Signature faite le mer. 26 juin 2013 00:14:17 CEST avec la clef RSA d'identifiant 11E149E9
# 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> »