xfce4-whiskermenu-plugin 1.4.0
scripts/construction-xfce : ajout de 'xfce4-whiskermenu-plugin'
nfs-utils : ajout d'un correctif