Up Galactic pour SPIP 4.2+ avec des jolis Codes

Alors…

• on n’utilise plus precode partiellement intégré dans SPIP 4.2
• on permet d’utiliser le nouveau coloration code à base de highlightJS -> il ne traite que la formule pre code (pas <cadre ...>)
• on modifie le balisage de <cadre> pour qu’il soit un pre code coloriable aussi (y a pas de raison)