Fix #159 (je suis optimiste, on peut réouvrir plus tard au besoin, mais
maintenant ça se lance.)