Logout

Bonjour,
j'ai une fonction logout que voici

function logout()
{
// Détruit toutes les variables de session
$_SESSION = array();
// Si vous voulez détruire complètement la session, effacez également
// le cookie de session.
// Note : cela détruira la session et pas seulement les données de session !
if (isset($_COOKIE[session_name()]))
{
setcookie(session_name(), '', time()+3, '/');
}
// Finalement, on détruit la session.
session_destroy();
}

et je ne sais pas comment l'introduire dans mon code source php?