on modprobe -l vboxsf I now get :
updates/dkms/vboxsf.ko

on lsmod | grep vboxsf I now get :
vboxsf 35947 0
vboxguest 196072 2 vboxsf

on cat /proc/filesystems I now get 2 more lines :
iso9660
nodev vboxsf