Merge tag 'upstream/3.1.7'

Upstream version 3.1.7

# gpg: Signature faite le mar. 04 mars 2014 17:56:34 CET
# gpg:                avec la clef RSA 0xDA4958F611E149E9
# gpg: Bonne signature de « Cédric Boutillier <boutil@debian.org> »
# gpg:                 alias « Cédric Boutillier <cedric.boutillier@gmail.com> »
# gpg:                 alias « Cédric Boutillier <cedric.boutillier@upmc.fr> »
# gpg:                 alias « Cédric Boutillier <cedric.boutillier@polytechnique.org> »
# gpg: Attention : cette clef n'est pas certifiée avec une signature de confiance.
# gpg:             Rien n'indique que la signature appartient à son propriétaire.
# Empreinte de clef principale : 3041 4D81 DC28 290C 2568  6DE3 DA49 58F6 11E1 49E9