Hola Simon BERNARD! > (In english : please, upgrade Cinnamon version 3.0 to 3.2 in Debian repository > before gel of Stretch for Debian 9 Stable with Cinnamon 3.2 in 2017). Yes, we are working on this. -- Regards, Marga