Apparently this option is now gone in the keyboard settings on OSX Lion, or maybe it does not appear because I am using a Dell keyboard
Now, I am not particularly concerned about it. If I press F12, I get the dashboard. The problem is that I have no keys to set the volume anymore. How can I set the volume, considering I can't create a keyboard shortcut (there's no menu name to bind) ?