Compatibilité du code avec PHP 5.4.0 : ajout de l'encodage à toutes les utilisations de htmlspecialchars()