function getInternetExplorerVersion()
// Retourne la version d'IE utilisé par le client ou -1
{
  var rv = -1; // Return value assumes failure
  if (navigator.appName == 'Microsoft Internet Explorer')
  {
    var ua = navigator.userAgent;
    var re  = new RegExp("MSIE ([0-9]{1,}[\.0-9]{0,})");
    if (re.exec(ua) != null)
      rv = parseFloat( RegExp.$1 );
  }
  return rv;
}

function importCSS4IE7(css)
//insert une ligne de code supplémentaire si la version d'IE est supérieure ou égale à 7
//la ligne importe un css de surchage pour IE7 
//la variable css correspond à la rubrique de la page afin d'importer le bon fichier.
{
  var ver = getInternetExplorerVersion();

  if ( ver > -1 )
  {
    if ( ver >= 7.0 ) 
      document.write('<link href="css/' + css + '-IE7.css" rel="stylesheet" type="text/css" />');
  }
}