WordPress: Add a favicon to the admin

No real interest in adding a favicon to the WordPress admin area, but a client may request it, which has already happened:

function favicon(){
echo '<link rel="shortcut icon" href="',get_template_directory_uri(),'/images/favicon.ico" />',"\n";
}

add_action('admin_head','favicon');