Extension pour la navigation

Un sous-menu accessible est ajouté si besoin : il s’agit simplement
d’ajouter et initialiser (sur la navigation principale «#nav») les
plugins jQuery HoverIntent et Superfish.