Remplacement de htmlspecialchars pour compatibilité php 5.4