ne pas générer une double balise title dans le head des exec en php (cela...

ne pas générer une double balise title dans le head des exec en php (cela devait se produire de puis r17050)