debusquer.php :
- on revient sur l'utilisation de jQuery qui n'est pas toujours fonctionnelle.
- highlight_string ne pose plus de tags obsolètes en PHP5.
- un peu de cosmétique.