<?php$chaine = " Bonjour : a tous les wrinautes !"; echo preg_replace('`[\s]*:[\s]*`', ':', $chaine);echo '<hr>';echo highlight_file( __FILE__ );