if(!/^www\.bibliotheque\.toulouse.fr$/i.test(document.location.hostname)) 
  document.location='http://www.bibliotheque.toulouse.fr'+document.location.pathname+(document.location.search?document.location.search:"");