You do not need to load any additional extension in order to use these functions.
Avec $_SESSION et $HTTP_SESSION_VARS, il n'y a pas besoin d'utiliser les fonctions session_register(), session_unregister() et session_is_registered().