$message="OK. Le fichier <tt>inc_connect.php3</tt> a été mis à jour. Vous pouvez <a href='index.php3'>passer à la suite...</a>";
}else
$message="Impossible de modifier <tt>inc_connect.php3</tt> : veuillez le supprimer par FTP puis réinstaller la connexion à la base de données.
<p>(Plus technique : vous pouvez aussi tenter de le modifier « à la main »
en transformant l'appel <tt>@spip_query</tt> en <tt>@spip_query_db</tt>.)";