On supprime l'inclure boussole_topnav_spip qui n'est utile que pour le site de la boussole SPIP.
On continue quelques améliorations qualité.