Update v9.12

[Philw]

salut à tous et toutes,

l'update de la v9, la v9.12, ultime avant la v10, vient d'arriver sur le site officiel.
Elle corrige quelques trucs. (je ne suis pas certain que ce soit extrèmement fragrant, mais bon...)

amitiés
Phil